[was: Re: [RFC][gdb/tui] Add tui auto-refresh-screen on/off ] Changes: - added docs entry - added test-case - set off by default in testsuite Any comments? Thanks, - Tom