center.1.html
Al
--
View this message in context:
http://runtime-revolution.278305.n4.nabble.com/Figuring-out-the-correct-height-width-of-scrollbars-under-Linux-tp4674552p4674577.html
Sent from the Revolution - User mailing list archive at Nabble.com.
___
First of all… Thanks to all who replied.
@Warren: I need this for a custom control that has seperate scrollbars that are
not tied to the group. I need to adjust those scrollbars to fit to the right /v
bottom of that group. Dragging out a standard scrollbar was far too wide and
left about 5 pixe
2014/1/9 Jan Schenkel :
> Thank you for pointing me in that direction, Thierry.
You're welcome :)
> I probably used the wrong search term last time I went looking, but I was
> afraid I'd > have to dip down into C/C++ land and write an external.
Yep, certainly less work.
I've just read somethi
=
"As we grow older, we grow both wiser and more foolish at the same time." (La
Rochefoucauld)
On Thu, 1/9/14, Thierry Douez wrote:
Subject: Re: Figuring out the correct height / width of scrollbars under Linux
To: "How to use Li
On 01/09/2014 03:03 AM, Malte Brill wrote:
Hi all,
is there a way to figure out how wide / heigh a scrollbar needs to be under
Linux to draw all of the scrollbar, but not leaving you with empty space around
it? Can this be figured out by script? It appears that under UBUNTU this would
be 14 P
Hi Jan,
Have you ever tried gsettings ? (I'm not a gnome user)
Regards,
Thierry
> If you ever find a way to extract gnome-control-center information on Linux
> via shell calls, make sure to let me know as I'd love to find the theme
> colors data :-)
> Jan Schenkel.
-
he same time." (La
Rochefoucauld)
On Thu, 1/9/14, Malte Brill wrote:
Subject: Figuring out the correct height / width of scrollbars under Linux
To: use-livecode@lists.runrev.com
Date: Thursday, January 9, 2014, 1:03 AM
Hi all,
is there a way to figure out how wide / hei
Hi all,
is there a way to figure out how wide / heigh a scrollbar needs to be under
Linux to draw all of the scrollbar, but not leaving you with empty space around
it? Can this be figured out by script? It appears that under UBUNTU this would
be 14 Pixels. Is there a difference between Windowma
