Maybe the proper way for this is to modify gtkrange and/or gtkscrollbar, but this works for us for now.
« Back to merge proposal
Maybe the proper way for this is to modify gtkrange and/or gtkscrollbar, but this works for us for now.