ui: tidy up scrolling appearance in configuration panel
This commit is contained in:
parent
0f0de28e94
commit
e6aacc42dd
|
@ -740,13 +740,13 @@ _items = {}
|
|||
def create():
|
||||
global _box
|
||||
assert _box is None
|
||||
_box = Gtk.VBox(homogeneous=False, spacing=8)
|
||||
_box = Gtk.VBox(homogeneous=False, spacing=4)
|
||||
_box._last_device = None
|
||||
|
||||
config_scroll = Gtk.ScrolledWindow()
|
||||
config_scroll.add(_box)
|
||||
config_scroll.set_policy(Gtk.PolicyType.NEVER, Gtk.PolicyType.AUTOMATIC)
|
||||
config_scroll.set_shadow_type(Gtk.ShadowType.IN)
|
||||
config_scroll.set_shadow_type(Gtk.ShadowType.NONE) # was IN
|
||||
config_scroll.set_size_request(0, 350) # ask for enough vertical space for about eight settings
|
||||
|
||||
return config_scroll
|
||||
|
|
|
@ -134,7 +134,7 @@ def _create_device_panel():
|
|||
p._lux = _status_line(_('Lighting'))
|
||||
p.pack_start(p._lux, False, False, 0)
|
||||
|
||||
# p.pack_start(Gtk.Separator.new(Gtk.Orientation.HORIZONTAL), False, False, 0) # spacer
|
||||
p.pack_start(Gtk.Separator.new(Gtk.Orientation.HORIZONTAL), False, False, 0) # spacer
|
||||
|
||||
p._config = _config_panel.create()
|
||||
p.pack_end(p._config, True, True, 4)
|
||||
|
|
Loading…
Reference in New Issue