roundabout,
created on Friday, 15 August 2025, 17:13:28 (1755278008),
received on Friday, 15 August 2025, 17:13:30 (1755278010)
Author identity: Vlad <vlad.muntoiu@gmail.com>
830f7226864502e76b02282c75589d5e392cd013
applets/wf-window-list/__init__.py
@@ -185,11 +185,13 @@ class WindowButton(Gtk.ToggleButton):
self.add_controller(self.drag_source) self.menu = Gio.Menu() # TODO: toggle the labels when neededself.minimise_item = Gio.MenuItem.new(_("_Minimise"), "button.minimise") self.maximise_item = Gio.MenuItem.new(_("Ma_ximise"), "button.maximise") self.menu.append_item(self.minimise_item) self.menu.append_item(self.maximise_item) self.menu.append(_("_Close"), "button.close") self.menu.append(_("Window list _options"), "applet.options")self.popover_menu = Gtk.PopoverMenu.new_from_model(self.menu) self.popover_menu.set_parent(self) self.popover_menu.set_flags(Gtk.PopoverMenuFlags.NESTED)
@@ -632,3 +634,13 @@ class WFWindowList(panorama_panel.Applet):
def output_changed(self): self.get_wl_resources() def make_draggable(self): for button in self.toplevel_buttons.values(): button.remove_controller(button.drag_source) button.set_sensitive(False) def restore_drag(self): for button in self.toplevel_buttons.values(): button.add_controller(button.drag_source) button.set_sensitive(True)