gui Other"Select the appropriate text-formatting display mode
gui Display Options;"display"(oneof normal hex syntax HTML man tex)d=(display=="html"?"HTML":display);wrap;sidescroll;list;showmarkups;number;tabstop;showmatch;nonascii;prefersyntax;hlspell