Feature: command to leave tui mode

[Andrew Burgess]

* Ciro Santilli <ciro.santilli@gmail.com> [2015-06-12 08:47:18 +0200]:

> Is there a command to leave `tui` mode, and if not can we create one?

Someone awesome just added 'tui enable' and 'tui disable' which do
exactly what you want[1].  These are not in a release yet which is why
they don't show up in the online documentation.

HTH
Andrew

[1] https://sourceware.org/ml/gdb-patches/2015-05/msg00599.html