2011/10/1 José Romildo Malaquias :
> 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 (a terminal win
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 (<+> and
> > <-