Hi, > > Could you please still reproduce this issue with newer gnome-shell version > > like 3.4.2-7+deb7u1 or 3.8.4-5+b1 ? > > I think this bug report should now be closed. Shall I go ahead, or do > the maintainers want to handle this differently?
I now run xfce so this does not bother me anymore. Folkert van Heusden -- Multi tail barnamaj mowahib li mora9abat attasjilat wa nataij awamir al 7asoub. damj, talwin, mora9abat attarchi7 wa ila akhirih. http://www.vanheusden.com/multitail/ ---------------------------------------------------------------------- Phone: +31-6-41278122, PGP-key: 1F28D8AE, www.vanheusden.com -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

