On Fri, Sep 30, 2011 at 07:45:07PM -0300, José Romildo Malaquias wrote:
> Hello.
>
> When using a terminal like gnome-terminal, I can increase or decrease
> the size of the font it uses with the key combinations (<+> and
> <-> with the gnome-terminal).
>
> When increasing the font size, the termi
Hello.
When using a terminal like gnome-terminal, I can increase or decrease
the size of the font it uses with the key combinations (<+> and
<-> with the gnome-terminal).
When increasing the font size, the terminal window is resized without
changing the position of its top left corner. Eventually
