[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: resize windows horizontally with the mouse
From: |
martin rudalics |
Subject: |
Re: resize windows horizontally with the mouse |
Date: |
Thu, 30 Jan 2014 15:37:38 +0100 |
> In some themes the scroll bar handle is a bitmap of fixed width. Those do
not obey GtkRange-slider-width if too small. I guess you don't have that kind of
theme.
I suppose not. Is there any harm when they don't?
>> And the default should be 14 IIUC.
>>
>
> Why?
Because that's what I found everywhere but I'm obviously a complete
idiot in this department. I looked, for example, here:
http://www.gtk.org/api/2.6/gtk/GtkRange.html
https://developer.gnome.org/gtk3/stable/GtkRange.html#GtkRange--s-slider-width
http://gtk.php.net/manual/en/html/gtk/gtk.gtkrange.property.slider-width.html
martin
- Re: resize windows horizontally with the mouse, (continued)
- Re: resize windows horizontally with the mouse, Yuri Khan, 2014/01/29
- Re: resize windows horizontally with the mouse, Michael Heerdegen, 2014/01/29
- Re: resize windows horizontally with the mouse, Darren Hoo, 2014/01/30
- Re: resize windows horizontally with the mouse, Yuri Khan, 2014/01/30
- Re: resize windows horizontally with the mouse, martin rudalics, 2014/01/30
- Re: resize windows horizontally with the mouse, Yuri Khan, 2014/01/30
- Re: resize windows horizontally with the mouse, martin rudalics, 2014/01/30
- Re: resize windows horizontally with the mouse, Jan D., 2014/01/30
- Re: resize windows horizontally with the mouse, martin rudalics, 2014/01/30
- Re: resize windows horizontally with the mouse, Jan Djärv, 2014/01/30
- Re: resize windows horizontally with the mouse,
martin rudalics <=
- Re: resize windows horizontally with the mouse, Jan D., 2014/01/30
- Re: resize windows horizontally with the mouse, martin rudalics, 2014/01/30
- Re: resize windows horizontally with the mouse, Jan D., 2014/01/31
- Re: resize windows horizontally with the mouse, martin rudalics, 2014/01/31
Re: resize windows horizontally with the mouse, martin rudalics, 2014/01/30
Re: resize windows horizontally with the mouse, Andreas Schwab, 2014/01/30