3.25.70 termoption

The termoption command allows you to change the behaviour of the current terminal without requiring a new terminal command. Only one option can be changed per command, and only a small number of options can be changed this way. Currently the only options accepted are

     set termoption {no}enhanced
     set termoption font "<fontname>{,<fontsize>}"
     set termoption fontscale <scale>
     set termoption {solid|dashed}
     set termoption {linewidth <lw>}{lw <lw>}

This document was generated on November 1, 2013 using texi2html 5.0.