Save proportions of the Reg, Asm and Dump windows to INI file.
TODO: handle font selection and main window size/position in the GTK version.


git-svn-id: svn://svn.code.sf.net/p/bochs/code/trunk@12542 6c8e4198-a580-4521-a02f-c9ae86df1db9