roundabout,
created on Thursday, 14 August 2025, 19:25:41 (1755199541),
received on Friday, 15 August 2025, 03:56:07 (1755230167)
Author identity: Vlad <vlad.muntoiu@gmail.com>
20c6201df12ae8fc1da21e600ec0da77fbb5d110
config.yaml
@@ -1,5 +1,5 @@
panels:
- position: bottom
- position: left
monitor: 0
size: 40
autohide: false
main.py
@@ -347,11 +347,6 @@ class Panel(Gtk.Window):
box = Gtk.CenterBox()
self.set_child(box)
self.set_position(position)
self.set_size(size)
self.set_autohide(autohide, hide_time)
self.left_area = AppletArea(orientation=box.get_orientation())
self.centre_area = AppletArea(orientation=box.get_orientation())
self.right_area = AppletArea(orientation=box.get_orientation())
@@ -360,6 +355,11 @@ class Panel(Gtk.Window):
box.set_center_widget(self.centre_area)
box.set_end_widget(self.right_area)
self.set_child(box)
self.set_position(position)
self.set_size(size)
self.set_autohide(autohide, hide_time)
# Add a context menu
menu = Gio.Menu()
@@ -472,8 +472,12 @@ class Panel(Gtk.Window):
match self.position:
case Gtk.PositionType.TOP | Gtk.PositionType.BOTTOM:
box.set_orientation(Gtk.Orientation.HORIZONTAL)
for area in (self.left_area, self.centre_area, self.right_area):
area.set_orientation(Gtk.Orientation.HORIZONTAL)
case Gtk.PositionType.LEFT | Gtk.PositionType.RIGHT:
box.set_orientation(Gtk.Orientation.VERTICAL)
for area in (self.left_area, self.centre_area, self.right_area):
area.set_orientation(Gtk.Orientation.VERTICAL)
if self.autohide:
if not self.open_popovers: