|
|
Op maandag 15 augustus 2022 om 20:44:49 UTC+1 schreef er...@seriss.com:
On 8/15/22 11:16, geert karman wrote:
Also, the slider button gets really small when there is a
long scroll (it's difficult to grab it with the mouse).
Hmm, this one interests me.
The slider tab should not get any smaller than the width of
the scrollbar itself.
(In other words the tab should not get smaller than a
"square").
It seems it does ....
But if the scrollbar's tab is getting too small in your app as a
square,
perhaps the scrollbar_size() needs to be larger, so that the tab
is easier to grab.
This can be set universally throughout the app by setting
Fl::scrollbar_size()
just before calling Fl::run() IIRC.
Fl::scrollbar_size() sets the width. I do not have /want to spend much space on the scrollbar, I set it at 10. To get a reasonable slider I'd like to have it at 20 minimum. Having my own scrollbar in there I would also not draw a box around it so the slider would be really 10 wide, not 8 or so as it is now.
As for switching them off by setting the type to 0, I didn't want things popping in and out of existence in the window, so I did a little animation that made them slide away. But it would be option.
Geert
--
You received this message because you are subscribed to the Google Groups "fltk.general" group.
To unsubscribe from this group and stop receiving emails from it, send an email to fltkgeneral+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/fltkgeneral/9ba61773-8786-474d-bf81-78143afee871n%40googlegroups.com.
[ Direct Link to Message ] | |
|
| |