Python script, ASCII text executable
1
"""
2
Traditional window list applet for the Panorama panel, compatible
3
with wlroots-based compositors.
4
Copyright 2025, roundabout-host.com <vlad@roundabout-host.com>
5
This program is free software: you can redistribute it and/or modify
7
it under the terms of the GNU General Public Licence as published by
8
the Free Software Foundation, either version 3 of the Licence, or
9
(at your option) any later version.
10
This program is distributed in the hope that it will be useful,
12
but WITHOUT ANY WARRANTY; without even the implied warranty of
13
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14
GNU General Public Licence for more details.
15
You should have received a copy of the GNU General Public Licence
17
along with this program. If not, see <https://www.gnu.org/licenses/>.
18
"""
19
import dataclasses
21
import os
22
import sys
23
import locale
24
import typing
25
from pathlib import Path
26
from pywayland.client import Display, EventQueue
27
from pywayland.protocol.wayland import WlRegistry, WlSeat, WlSurface, WlCompositor, WlOutput
28
from pywayland.protocol.wayland.wl_output import WlOutputProxy
29
from pywayland.protocol.wlr_foreign_toplevel_management_unstable_v1 import (
30
ZwlrForeignToplevelManagerV1,
31
ZwlrForeignToplevelHandleV1
32
)
33
import panorama_panel
34
import gi
36
gi.require_version("Gtk", "4.0")
38
gi.require_version("GdkWayland", "4.0")
39
from gi.repository import Gtk, GLib, Gtk4LayerShell, Gio, Gdk, Pango, GObject
41
module_directory = Path(__file__).resolve().parent
44
locale.bindtextdomain("panorama-window-list", module_directory / "locale")
46
_ = lambda x: locale.dgettext("panorama-window-list", x)
47
import ctypes
50
from cffi import FFI
51
ffi = FFI()
52
ffi.cdef("""
53
void * gdk_wayland_display_get_wl_display (void * display);
54
void * gdk_wayland_surface_get_wl_surface (void * surface);
55
void * gdk_wayland_monitor_get_wl_output (void * monitor);
56
""")
57
gtk = ffi.dlopen("libgtk-4.so.1")
58
@Gtk.Template(filename=str(module_directory / "panorama-window-list-options.ui"))
61
class WindowListOptions(Gtk.Window):
62
__gtype_name__ = "WindowListOptions"
63
button_width_adjustment: Gtk.Adjustment = Gtk.Template.Child()
64
workspace_filter_checkbutton: Gtk.CheckButton = Gtk.Template.Child()
65
def __init__(self, **kwargs):
67
super().__init__(**kwargs)
68
self.connect("close-request", lambda *args: self.destroy())
70
def split_bytes_into_ints(array: bytes, size: int = 4) -> list[int]:
73
if len(array) % size:
74
raise ValueError(f"The byte string's length must be a multiple of {size}")
75
values: list[int] = []
77
for i in range(0, len(array), size):
78
values.append(int.from_bytes(array[i : i+size], byteorder=sys.byteorder))
79
return values
81
def get_widget_rect(widget: Gtk.Widget) -> tuple[int, int, int, int]:
84
width = int(widget.get_width())
85
height = int(widget.get_height())
86
toplevel = widget.get_root()
88
if not toplevel:
89
return None, None, width, height
90
x, y = widget.translate_coordinates(toplevel, 0, 0)
92
x = int(x)
93
y = int(y)
94
return x, y, width, height
96
@dataclasses.dataclass
99
class WindowState:
100
minimised: bool
101
maximised: bool
102
fullscreen: bool
103
focused: bool
104
@classmethod
106
def from_state_array(cls, array: bytes):
107
values = split_bytes_into_ints(array)
108
instance = cls(False, False, False, False)
109
for value in values:
110
match value:
111
case 0:
112
instance.maximised = True
113
case 1:
114
instance.minimised = True
115
case 2:
116
instance.focused = True
117
case 3:
118
instance.fullscreen = True
119
return instance
121
from gi.repository import Gtk, Gdk
124
class WindowButtonOptions:
126
def __init__(self, max_width: int):
127
self.max_width = max_width
128
class WindowButtonLayoutManager(Gtk.LayoutManager):
130
def __init__(self, options: WindowButtonOptions, **kwargs):
131
super().__init__(**kwargs)
132
self.options = options
133
def do_measure(self, widget, orientation, for_size):
135
child = widget.get_first_child()
136
if child is None:
137
return 0, 0, 0, 0
138
if orientation == Gtk.Orientation.HORIZONTAL:
140
min_width, nat_width, min_height, nat_height = child.measure(Gtk.Orientation.HORIZONTAL, for_size)
141
width = self.options.max_width
142
return min_width, width, min_height, nat_height
143
else:
144
min_width, nat_width, min_height, nat_height = child.measure(Gtk.Orientation.VERTICAL, for_size)
145
return min_height, nat_height, 0, 0
146
def do_allocate(self, widget, width, height, baseline):
148
child = widget.get_first_child()
149
if child is None:
150
return
151
alloc_width = min(width, self.options.max_width)
152
alloc = Gdk.Rectangle()
153
alloc.x = 0
154
alloc.y = 0
155
alloc.width = alloc_width
156
alloc.height = height
157
child.allocate(alloc.width, alloc.height, baseline)
158
class WindowButton(Gtk.ToggleButton):
161
def __init__(self, window_id, window_title, **kwargs):
162
super().__init__(**kwargs)
163
self.window_id: ZwlrForeignToplevelHandleV1 = window_id
165
self.wf_ipc_id: typing.Optional[int] = None
166
self.set_has_frame(False)
167
self.label = Gtk.Label()
168
self.icon = Gtk.Image.new_from_icon_name("application-x-executable")
169
box = Gtk.Box()
170
box.append(self.icon)
171
box.append(self.label)
172
self.set_child(box)
173
self.window_title = window_title
175
self.window_state = WindowState(False, False, False, False)
176
self.label.set_ellipsize(Pango.EllipsizeMode.END)
178
self.set_hexpand(True)
179
self.set_vexpand(True)
180
self.drag_source = Gtk.DragSource(actions=Gdk.DragAction.MOVE)
182
self.drag_source.connect("prepare", self.provide_drag_data)
183
self.drag_source.connect("drag-begin", self.drag_begin)
184
self.drag_source.connect("drag-cancel", self.drag_cancel)
185
self.add_controller(self.drag_source)
187
self.menu = Gio.Menu()
189
# TODO: toggle the labels when needed
190
self.minimise_item = Gio.MenuItem.new(_("_Minimise"), "button.minimise")
191
self.maximise_item = Gio.MenuItem.new(_("Ma_ximise"), "button.maximise")
192
self.menu.append_item(self.minimise_item)
193
self.menu.append_item(self.maximise_item)
194
self.menu.append(_("_Close"), "button.close")
195
self.menu.append(_("Window list _options"), "applet.options")
196
self.popover_menu = Gtk.PopoverMenu.new_from_model(self.menu)
197
self.popover_menu.set_parent(self)
198
self.popover_menu.set_flags(Gtk.PopoverMenuFlags.NESTED)
199
self.popover_menu.set_has_arrow(False)
200
self.popover_menu.set_halign(Gtk.Align.END)
201
self.right_click_controller = Gtk.GestureClick(button=3)
203
self.right_click_controller.connect("pressed", self.show_menu)
204
self.add_controller(self.right_click_controller)
205
self.action_group = Gio.SimpleActionGroup()
207
close_action = Gio.SimpleAction.new("close")
208
close_action.connect("activate", self.close_associated)
209
self.action_group.insert(close_action)
210
minimise_action = Gio.SimpleAction.new("minimise")
211
minimise_action.connect("activate", self.minimise_associated)
212
self.action_group.insert(minimise_action)
213
maximise_action = Gio.SimpleAction.new("maximise")
214
maximise_action.connect("activate", self.maximise_associated)
215
self.action_group.insert(maximise_action)
216
self.insert_action_group("button", self.action_group)
218
self.middle_click_controller = Gtk.GestureClick(button=2)
220
self.middle_click_controller.connect("released", self.close_associated)
221
self.add_controller(self.middle_click_controller)
222
def show_menu(self, gesture, n_presses, x, y):
224
rect = Gdk.Rectangle()
225
rect.x = int(x)
226
rect.y = int(y)
227
rect.width = 1
228
rect.height = 1
229
self.popover_menu.popup()
230
def close_associated(self, *args):
232
self.window_id.close()
233
def minimise_associated(self, action, *args):
235
if self.window_state.minimised:
236
self.window_id.unset_minimized()
237
else:
238
self.window_id.set_minimized()
239
def maximise_associated(self, action, *args):
241
if self.window_state.maximised:
242
self.window_id.unset_maximized()
243
else:
244
self.window_id.set_maximized()
245
def provide_drag_data(self, source: Gtk.DragSource, x: float, y: float):
247
app = self.get_root().get_application()
248
app.drags[id(self)] = self
249
value = GObject.Value()
250
value.init(GObject.TYPE_UINT64)
251
value.set_uint64(id(self))
252
return Gdk.ContentProvider.new_for_value(value)
253
def drag_begin(self, source: Gtk.DragSource, drag: Gdk.Drag):
255
paintable = Gtk.WidgetPaintable.new(self).get_current_image()
256
source.set_icon(paintable, 0, 0)
257
self.hide()
258
def drag_cancel(self, source: Gtk.DragSource, drag: Gdk.Drag, reason: Gdk.DragCancelReason):
260
self.show()
261
return False
262
@property
264
def window_title(self):
265
return self.label.get_text()
266
@window_title.setter
268
def window_title(self, value):
269
self.label.set_text(value)
270
def set_icon_from_app_id(self, app_id):
272
app_ids = app_id.split()
273
# If on Wayfire, find the IPC ID
275
for app_id in app_ids:
276
if app_id.startswith("wf-ipc-"):
277
self.wf_ipc_id = int(app_id.removeprefix("wf-ipc-"))
278
break
279
# Try getting an icon from the correct theme
281
icon_theme = Gtk.IconTheme.get_for_display(self.get_display())
282
for app_id in app_ids:
284
if icon_theme.has_icon(app_id):
285
self.icon.set_from_icon_name(app_id)
286
return
287
# If that doesn't work, try getting one from .desktop files
289
for app_id in app_ids:
290
try:
291
desktop_file = Gio.DesktopAppInfo.new(app_id + ".desktop")
292
if desktop_file:
293
self.icon.set_from_gicon(desktop_file.get_icon())
294
return
295
except TypeError:
296
# Due to a bug, the constructor may sometimes return C NULL
297
pass
298
class WFWindowList(panorama_panel.Applet):
301
name = _("Wayfire window list")
302
description = _("Traditional window list (for Wayfire and other wlroots compositors)")
303
def __init__(self, orientation=Gtk.Orientation.HORIZONTAL, config=None):
305
super().__init__(orientation=orientation, config=config)
306
if config is None:
307
config = {}
308
self.set_homogeneous(True)
310
self.window_button_options = WindowButtonOptions(config.get("max_button_width", 256))
311
self.show_only_this_wf_workspace = config.get("show_only_this_wf_workspace", True)
312
self.show_only_this_output = config.get("show_only_this_output", True)
313
314
self.toplevel_buttons: dict[ZwlrForeignToplevelHandleV1, WindowButton] = {}
315
self.toplevel_buttons_by_wf_id: dict[int, WindowButton] = {}
316
# This button doesn't belong to any window but is used for the button group and to be
317
# selected when no window is focused
318
self.initial_button = Gtk.ToggleButton()
319
self.display = None
321
self.my_output = None
322
self.wl_surface_ptr = None
323
self.registry = None
324
self.compositor = None
325
self.seat = None
326
self.context_menu = self.make_context_menu()
328
panorama_panel.track_popover(self.context_menu)
329
right_click_controller = Gtk.GestureClick()
331
right_click_controller.set_button(3)
332
right_click_controller.connect("pressed", self.show_context_menu)
333
self.add_controller(right_click_controller)
335
action_group = Gio.SimpleActionGroup()
337
options_action = Gio.SimpleAction.new("options", None)
338
options_action.connect("activate", self.show_options)
339
action_group.add_action(options_action)
340
self.insert_action_group("applet", action_group)
341
# Wait for the widget to be in a layer-shell window before doing this
342
self.connect("realize", lambda *args: self.get_wl_resources())
343
self.options_window = None
345
# Support button reordering
347
self.drop_target = Gtk.DropTarget.new(GObject.TYPE_UINT64, Gdk.DragAction.MOVE)
348
self.drop_target.set_gtypes([GObject.TYPE_UINT64])
349
self.drop_target.connect("drop", self.drop_button)
350
self.add_controller(self.drop_target)
352
# Make a Wayfire socket for workspace handling
354
try:
355
import wayfire
356
self.wf_socket = wayfire.WayfireSocket()
357
self.wf_socket.watch()
358
fd = self.wf_socket.client.fileno()
359
GLib.io_add_watch(GLib.IOChannel.unix_new(fd), GLib.IO_IN, self.on_wf_event, priority=GLib.PRIORITY_HIGH)
360
except:
361
# Wayfire raises Exception itself, so it cannot be narrowed down
362
self.wf_socket = None
363
def on_wf_event(self, source, condition):
365
if condition & GLib.IO_IN:
366
if not self.show_only_this_wf_workspace:
367
return True
368
try:
369
message = self.wf_socket.read_next_event()
370
event = message.get("event")
371
match event:
372
case "view-workspace-changed":
373
view = message.get("view", {})
374
output = self.wf_socket.get_output(self.get_root().monitor_index + 1)
375
current_workspace = output["workspace"]["x"], output["workspace"]["y"]
376
if (message["to"]["x"], message["to"]["y"]) == current_workspace:
377
if self.toplevel_buttons_by_wf_id[view["id"]].get_parent() is None:
378
self.append(self.toplevel_buttons_by_wf_id[view["id"]])
379
else:
380
if self.toplevel_buttons_by_wf_id[view["id"]].get_parent() is self:
381
# Remove out-of-workspace window
382
self.remove(self.toplevel_buttons_by_wf_id[view["id"]])
383
case "wset-workspace-changed":
384
output_id = self.get_root().monitor_index + 1
385
if message["wset-data"]["output-id"] == output_id:
386
# It has changed on this monitor; refresh the window list
387
self.filter_to_wf_workspace()
388
except Exception as e:
390
print("Error reading Wayfire event:", e)
391
return True
392
def drop_button(self, drop_target: Gtk.DropTarget, value: int, x: float, y: float):
394
button: WindowButton = self.get_root().get_application().drags.pop(value)
395
if button.get_parent() is not self:
396
# Prevent dropping a button from another window list
397
return False
398
self.remove(button)
400
# Find the position where to insert the applet
401
# Probably we could use the assumption that buttons are homogeneous here for efficiency
402
child = self.get_first_child()
403
while child:
404
allocation = child.get_allocation()
405
child_x, child_y = self.translate_coordinates(self, 0, 0)
406
if self.get_orientation() == Gtk.Orientation.HORIZONTAL:
407
midpoint = child_x + allocation.width / 2
408
if x < midpoint:
409
button.insert_before(self, child)
410
break
411
elif self.get_orientation() == Gtk.Orientation.VERTICAL:
412
midpoint = child_y + allocation.height / 2
413
if y < midpoint:
414
button.insert_before(self, child)
415
break
416
child = child.get_next_sibling()
417
else:
418
self.append(button)
419
button.show()
420
self.set_all_rectangles()
422
return True
423
def filter_to_wf_workspace(self):
425
if not self.show_only_this_wf_workspace:
426
return
427
output = self.wf_socket.get_output(self.get_root().monitor_index + 1)
429
for wf_id, button in self.toplevel_buttons_by_wf_id.items():
430
view = self.wf_socket.get_view(wf_id)
431
mid_x = view["geometry"]["x"] + view["geometry"]["width"] / 2
432
mid_y = view["geometry"]["y"] + view["geometry"]["height"] / 2
433
output_width = output["geometry"]["width"]
434
output_height = output["geometry"]["height"]
435
if 0 <= mid_x < output_width and 0 <= mid_y < output_height:
436
# It is in this workspace; keep it
437
if button.get_parent() is None:
438
self.append(button)
439
else:
440
# Remove it from this window list
441
if button.get_parent() is self:
442
self.remove(button)
443
def get_wl_resources(self):
445
ctypes.pythonapi.PyCapsule_GetPointer.restype = ctypes.c_void_p
446
ctypes.pythonapi.PyCapsule_GetPointer.argtypes = (ctypes.py_object,)
447
self.display = Display()
449
wl_display_ptr = gtk.gdk_wayland_display_get_wl_display(
450
ffi.cast("void *", ctypes.pythonapi.PyCapsule_GetPointer(self.get_root().get_native().get_display().__gpointer__, None)))
451
self.display._ptr = wl_display_ptr
452
self.event_queue = EventQueue(self.display)
453
# Intentionally commented: the display is already connected by GTK
455
# self.display.connect()
456
my_monitor = Gtk4LayerShell.get_monitor(self.get_root())
458
# Iterate through monitors and get their Wayland output (wl_output)
460
# This is a hack to ensure output_enter/leave is called for toplevels
461
for monitor in self.get_root().get_native().get_display().get_monitors():
462
wl_output = gtk.gdk_wayland_monitor_get_wl_output(ffi.cast("void *", ctypes.pythonapi.PyCapsule_GetPointer(monitor.__gpointer__, None)))
463
if wl_output:
464
print("Create proxy")
465
output_proxy = WlOutputProxy(wl_output, self.display)
466
output_proxy.interface.registry[output_proxy._ptr] = output_proxy
467
if monitor == my_monitor:
469
self.my_output = output_proxy
470
# End hack
471
self.registry = self.display.get_registry()
473
self.registry.dispatcher["global"] = self.on_global
474
self.display.roundtrip()
475
fd = self.display.get_fd()
476
GLib.io_add_watch(fd, GLib.IO_IN, self.on_display_event)
477
if self.wf_socket is not None:
479
self.filter_to_wf_workspace()
480
def on_display_event(self, source, condition):
482
if condition & GLib.IO_IN:
483
self.display.dispatch(queue=self.event_queue)
484
return True
485
def on_global(self, registry, name, interface, version):
487
if interface == "zwlr_foreign_toplevel_manager_v1":
488
self.print_log("Interface registered")
489
self.manager = registry.bind(name, ZwlrForeignToplevelManagerV1, version)
490
self.manager.dispatcher["toplevel"] = self.on_new_toplevel
491
self.manager.dispatcher["finished"] = lambda *a: print("Toplevel manager finished")
492
self.display.roundtrip()
493
self.display.flush()
494
elif interface == "wl_seat":
495
self.print_log("Seat found")
496
self.seat = registry.bind(name, WlSeat, version)
497
elif interface == "wl_compositor":
498
self.compositor = registry.bind(name, WlCompositor, version)
499
self.wl_surface_ptr = gtk.gdk_wayland_surface_get_wl_surface(
500
ffi.cast("void *", ctypes.pythonapi.PyCapsule_GetPointer(
501
self.get_root().get_native().get_surface().__gpointer__, None)))
502
def on_new_toplevel(self, manager: ZwlrForeignToplevelManagerV1,
504
handle: ZwlrForeignToplevelHandleV1):
505
handle.dispatcher["title"] = lambda h, title: self.on_title_changed(h, title)
506
handle.dispatcher["app_id"] = lambda h, app_id: self.on_app_id_changed(h, app_id)
507
handle.dispatcher["output_enter"] = self.on_output_entered
508
handle.dispatcher["output_leave"] = self.on_output_left
509
handle.dispatcher["state"] = lambda h, states: self.on_state_changed(h, states)
510
handle.dispatcher["closed"] = lambda h: self.on_closed(h)
511
def on_output_entered(self, handle, output):
513
if self.show_only_this_output and output != self.my_output:
514
return
515
if handle in self.toplevel_buttons:
516
button = self.toplevel_buttons[handle]
517
self.append(button)
518
self.set_all_rectangles()
519
def on_output_left(self, handle, output):
521
if not self.show_only_this_output:
522
return
523
if output != self.my_output:
524
return
525
if handle in self.toplevel_buttons:
526
button = self.toplevel_buttons[handle]
527
self.remove(button)
528
self.set_all_rectangles()
529
def on_title_changed(self, handle, title):
531
if handle not in self.toplevel_buttons:
532
button = WindowButton(handle, title)
533
button.set_group(self.initial_button)
534
button.set_layout_manager(WindowButtonLayoutManager(self.window_button_options))
535
button.connect("clicked", self.on_button_click)
536
self.toplevel_buttons[handle] = button
537
else:
538
button = self.toplevel_buttons[handle]
539
button.window_title = title
540
def set_all_rectangles(self):
542
child = self.get_first_child()
543
while child is not None:
544
if isinstance(child, WindowButton):
545
surface = WlSurface()
546
surface._ptr = self.wl_surface_ptr
547
child.window_id.set_rectangle(surface, *get_widget_rect(child))
548
child = child.get_next_sibling()
550
def on_button_click(self, button: WindowButton):
552
# Set a rectangle for animation
553
surface = WlSurface()
554
surface._ptr = self.wl_surface_ptr
555
button.window_id.set_rectangle(surface, *get_widget_rect(button))
556
if button.window_state.focused:
557
# Already pressed in, so minimise the focused window
558
button.window_id.set_minimized()
559
else:
560
button.window_id.unset_minimized()
561
button.window_id.activate(self.seat)
562
self.display.flush()
564
def on_state_changed(self, handle, states):
566
if handle in self.toplevel_buttons:
567
state_info = WindowState.from_state_array(states)
568
button = self.toplevel_buttons[handle]
569
button.window_state = state_info
570
if state_info.focused:
571
button.set_active(True)
572
else:
573
self.initial_button.set_active(True)
574
self.set_all_rectangles()
576
def on_app_id_changed(self, handle, app_id):
578
if handle in self.toplevel_buttons:
579
button = self.toplevel_buttons[handle]
580
button.set_icon_from_app_id(app_id)
581
app_ids = app_id.split()
582
for app_id in app_ids:
583
if app_id.startswith("wf-ipc-"):
584
self.toplevel_buttons_by_wf_id[int(app_id.removeprefix("wf-ipc-"))] = button
585
def on_closed(self, handle):
587
button: WindowButton = self.toplevel_buttons[handle]
588
wf_id = button.wf_ipc_id
589
if handle in self.toplevel_buttons:
590
self.remove(self.toplevel_buttons[handle])
591
self.toplevel_buttons.pop(handle)
592
if wf_id in self.toplevel_buttons_by_wf_id:
593
self.toplevel_buttons_by_wf_id.pop(wf_id)
594
self.set_all_rectangles()
596
def make_context_menu(self):
598
menu = Gio.Menu()
599
menu.append(_("Window list _options"), "applet.options")
600
context_menu = Gtk.PopoverMenu.new_from_model(menu)
601
context_menu.set_has_arrow(False)
602
context_menu.set_parent(self)
603
context_menu.set_halign(Gtk.Align.START)
604
context_menu.set_flags(Gtk.PopoverMenuFlags.NESTED)
605
return context_menu
606
def show_context_menu(self, gesture, n_presses, x, y):
608
rect = Gdk.Rectangle()
609
rect.x = int(x)
610
rect.y = int(y)
611
rect.width = 1
612
rect.height = 1
613
self.context_menu.set_pointing_to(rect)
615
self.context_menu.popup()
616
def show_options(self, _0=None, _1=None):
618
if self.options_window is None:
619
self.options_window = WindowListOptions()
620
self.options_window.button_width_adjustment.set_value(self.window_button_options.max_width)
621
self.options_window.button_width_adjustment.connect("value-changed", self.update_button_options)
622
self.options_window.workspace_filter_checkbutton.set_active(self.show_only_this_wf_workspace)
623
self.options_window.workspace_filter_checkbutton.connect("toggled", self.update_workspace_filter)
624
def reset_window(*args):
626
self.options_window = None
627
self.options_window.connect("close-request", reset_window)
629
self.options_window.present()
630
def remove_workspace_filtering(self):
632
for button in self.toplevel_buttons.values():
633
if button.get_parent() is None:
634
self.append(button)
635
def update_workspace_filter(self, checkbutton):
637
self.show_only_this_wf_workspace = checkbutton.get_active()
638
if checkbutton.get_active():
639
self.filter_to_wf_workspace()
640
else:
641
self.remove_workspace_filtering()
642
def update_button_options(self, adjustment):
644
self.window_button_options.max_width = adjustment.get_value()
645
child: Gtk.Widget = self.get_first_child()
646
while child:
647
child.queue_allocate()
648
child.queue_resize()
649
child.queue_draw()
650
child = child.get_next_sibling()
651
self.emit("config-changed")
653
def get_config(self):
655
return {
656
"max_button_width": self.window_button_options.max_width,
657
"show_only_this_wf_workspace": self.show_only_this_wf_workspace,
658
"show_only_this_output": self.show_only_this_output,
659
}
660
def output_changed(self):
662
self.get_wl_resources()
663
def make_draggable(self):
665
for button in self.toplevel_buttons.values():
666
button.remove_controller(button.drag_source)
667
button.set_sensitive(False)
668
def restore_drag(self):
670
for button in self.toplevel_buttons.values():
671
button.add_controller(button.drag_source)
672
button.set_sensitive(True)
673