Use wxConfig to store user preferences on GNU/Linux.
This was done to fix an annoyance where the editor was always opened with a height of 0.
Even though the wxWidgets code should work on Windows, the existing Registry code
was retained for backward compatibility with any existing settings.