Save/restore GTK debugger window size and position using INI file.
TODO: handle GTK font selection.


git-svn-id: http://svn.code.sf.net/p/bochs/code/trunk@12545 6c8e4198-a580-4521-a02f-c9ae86df1db9
Save and restore GTK font setting using INI file.


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