* modules/gui/wxwindows/preferences.cpp: restored the old size of the preferences panel... it is big enough already.