Add one more common setting to gui debugger INI file.
TODO: add platform-specific settings (font, window size/position)
Disable log viewer on debugger exit.
textconfig: minor fixes found while testing gui debugger.


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