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.
> > 
> > Oh, okay. I've never seen this before. I'll try to reproduce the problem
> > with a backport. Could you tell me if your ~/.config/gtk-3.0/gtk.css
> > contains anything special? Which GTK+ 3 theme are you using?
> 
> gtk.css was empty when I reported the bug.  To mitigate the garish
> scrollbar, I've put in 
> 
> .scrollbar {
>       -GtkRange-slider-width: 9;
>       -GtkRange-stepper-size: 9;
> }
> 
> yesterday, which has the expected result of making the scrollbars
> smaller.
> 
> As to the theme, neither a quick look in relevant-looking man pages
> nor the Duck gave an obvious answer as to how to find out what theme
> is active. I've not changed anything actively there, and the gtk.css
> with the above content is the only thing in .config/gtk-3.0, so I'd
> expect it's whatever is the wheezy default.

Are you using some kind of desktop environment? If so, which one? (This
might help us chasing down the theme.)

I've changed some bits in the scrollbar handling in the new
girara/zathura version, but that's not enough to fix this bug I suppose.

Regards
-- 
Sebastian Ramacher

Attachment: signature.asc
Description: Digital signature

Reply via email to