On Sat, Oct 01, 2011 at 01:16:37AM +0100, Thomas Adam wrote:
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 (Control+ and
2011/10/1 José Romildo Malaquias j.romi...@gmail.com:
I have verified that many actions generates the configure_window event,
like moving or resizing a window with the mouse or keyboard. Is it
possible to distinguish a configure_window event originated from
changing the font size of the window
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 (Control+ and
Control- with the gnome-terminal).
When increasing the font size, the