nce <B>CTRL-SHIFT-A</B>. It
    selects all text in the terminal, including its scrollback buffer. If all the text is already
    selected, then this selects nothing, so that pressing the keystroke twice is effectively
    "Select None."</P>

    <H3><A name="increase_font_size"></A>Increase Font Size</H3>

    <P>This is accessed using the local drop-down menu or the key sequence <B>CTRL-SHIFT-PLUS</B>.
    It increases the font size for this terminal.</P>

    <H3><A name="decrease_font_size"></A>Decrease