Guldoman 1ce8cd1d82 Add `minimum_thumb_size` and `{contracted,expanded}_scrollbar_margin` to `Scrollbar` (#1589) ... * Add `minimum_thumb_size` to `Scrollbar` * Add `{contracted,expanded}_scrollbar_margin` to `Scrollbar`		2024-10-22 13:05:07 -04:00
..
colors	style: move default colors to its own style file	2022-06-02 19:20:54 -04:00
core	Add `minimum_thumb_size` and `{contracted,expanded}_scrollbar_margin` to `Scrollbar` (#1589)	2024-10-22 13:05:07 -04:00
fonts	Configurable statusview icon (#1617)	2024-09-03 13:42:55 -04:00
plugins	improve projectsearch (#1876)	2024-10-22 18:10:33 +02:00