Reduce size of preferences window

[csete]

The size of the preferences window is still too large.

[yashi]

@csete How small do you want it to be? 640x480 or 800x600?

[csete]

Unfortunately, I can't answer that. It needs to be investigated and take into account the style and themes used on various platforms.