On Tue, 4 Dec 2012 09:11:05 +0100 Matthias Kretschmer <kretschm%cs.uni-bonn.de@localhost> wrote: > Maybe some bug in the window manager? Probably. I use fvwm from pkgsrc-2012Q3. -- \end{Jochen} \ref{http://www.unixag-kl.fh-kl.de/~jkunz/}