Add scroll options to permanently toggle on scrollbar#6266
Merged
philippjfr merged 10 commits intomainfrom add_scroll_optionsFeb 5, 2024
Commits
Commits on Jan 23, 2024
- committed
- committed
- committed
- committed
Commits on Jan 24, 2024
- committed
- committed
Commits on Jan 27, 2024
- committed
- authored