On Mon, Mar 03, 2014 at 06:17:12PM +0100, Sebastian Ramacher wrote: > On 2014-01-21 09:23:38, Markus Demleitner wrote: > > On Tue, Jan 21, 2014 at 03:36:00AM +0100, Sebastian Ramacher wrote: > > > On 2014-01-20 09:13:59, Markus Demleitner wrote: > > > > They are. My problem is that they don't disappear when the settings > > > > are false. > Are you using some kind of desktop environment? If so, which one? (This > might help us chasing down the theme.)
No DE, this is in a sawfish in an xinit-started X. However, it seems upstream knows about this and doesn't really care; At least http://www.pwmt.org/projects/jumanji/usage/#hide-scrollbars-in-gtk-3.0 would suggest as much: Since the 'show-scrollbars' option will not have any effect with GTK+-3.0... (jumanji is based on girara, too, and scrollbars appear to be handled by girara, so this seems pertinent). They give a workaround there, too. I guess I wouldn't object to closing this bug given all this. Thanks, Markus -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
