On Fri, 27 Nov 2015 00:16:45 +0100 Francesco Poli wrote: > On Thu, 26 Nov 2015 00:06:56 +0100 Michael Biebl wrote: [...] > > Does it make a difference if you use > > a different window manager? > > I'll try and find the time to install a different window manager / > desktop environment and test it, hopefully during the week-end...
I installed xfce4 and tried to reproduce the bug. I experienced the same exact misbehavior. I think we can conclude that the bug does *not* depend on the window manager / desktop environment... Please tell me whether you need any further information in order to investigate. Otherwise, please drop the moreinfo tag. Thanks for your time! -- http://www.inventati.org/frx/ There's not a second to spare! To the laboratory! ..................................................... Francesco Poli . GnuPG key fpr == CA01 1147 9CD2 EFDF FB82 3925 3E1C 27E1 1F69 BFFE
pgpXZhhGfePtd.pgp
Description: PGP signature
