We'd probably better introduce a scrolled window here.
Could you file a separate bug about the "Move to Workspace Right" option? I'd like to suppress that, but I don't know if it's possible with current window manager facilities.
We'd probably better introduce a scrolled window here.
Could you file a separate bug about the "Move to Workspace Right" option? I'd like to suppress that, but I don't know if it's possible with current window manager facilities.