Lars Sundström 8db736f155 GUI: Add scrollbar to backend options widget
Make the backend options widget be of type ScrollContainerWidget.
This will allow backends to decide whether the options dialogue
should be scrollable or not.

Note, this changes the default padding. If not changing the padding
the scrollbar might disappear. Update the padding in each backend
instead.
2023-12-16 19:37:33 +01:00
..