On 2014-03-03 19:20:32, Markus Demleitner wrote: > 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.
Okay. > However, it seems upstream knows about this and doesn't really care; With my upstream hat on: we do 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. … the comment there is unrelated to your problem. It's about the scrollbar Webkit displays. It was possible to hide it if one was using the GTK+ 2 version of Webkit, but not with the GTK+ 3 version of Webkit. Admittedly the problem description is not very clear on the website. Regards -- Sebastian Ramacher
signature.asc
Description: Digital signature
