From c91deda220176c01cf683a4c321179adde4b54a4 Mon Sep 17 00:00:00 2001 From: alfrix Date: Thu, 19 May 2022 14:23:11 -0300 Subject: [PATCH] settings: wider scale slider --- panels/settings.py | 1 + 1 file changed, 1 insertion(+) diff --git a/panels/settings.py b/panels/settings.py index 181207f1..3b40a44a 100644 --- a/panels/settings.py +++ b/panels/settings.py @@ -132,6 +132,7 @@ class SettingsPanel(ScreenPanel): dropdown.set_entry_text_column(0) dev.add(dropdown) elif option['type'] == "scale": + dev.set_orientation(Gtk.Orientation.VERTICAL) val = int(self._config.get_config().get(option['section'], opt_name, fallback=option['value'])) adj = Gtk.Adjustment(val, option['range'][0], option['range'][1], option['step'], option['step'] * 5) scale = Gtk.Scale(orientation=Gtk.Orientation.HORIZONTAL, adjustment=adj)