You have been subscribed to a public bug: $ lsb_release -rd No LSB modules are available. Description: Ubuntu 23.10 Release: 23.10
Package name: gnome-shell-extension-tiling-assistant package (Ubuntu Tiling Assistant) Package version: 44 --- In Ubuntu 23.10, changing the window-move mouse button modifier from Super to Alt with e.g. $ gsettings set org.gnome.desktop.wm.preferences mouse-button-modifier '<Alt>' and then trying to hold Alt while dragging the window from its center (or anything but the title bar), to edge/corner, does not perform tiling. I also made a video that uses Gnome Tweaks to adjust the modifier and to demo the bug: https://www.cs.helsinki.fi/u/oottela/ubuntu/tiling_bug.mp4 --- Reverting the changes with $ gsettings set org.gnome.desktop.wm.preferences mouse-button-modifier '<Super>' makes the tiling work with Super again. I installed gnome-shell-extension-manager and had a look at the Ubuntu Tiling Assistant settings, but couldn't find one related to this. --- I'm sure this is a bug since as per lines 50..55 of the source /usr/share/gnome-shell/extensions/tiling- [email protected]/src/extension/moveHandler.js also in the original repo: https://github.com/Leleat/Tiling-Assistant/blob/main/tiling- assistant%40leleat-on-github/src/extension/moveHandler.js#L50 Using Alt is intended to be handled: const altAsMod = wmPrefs.get_string('mouse-button-modifier') === '<Alt>'; if (altAsMod) { for (const s of [Settings.ADAPTIVE_TILING_MOD, Settings.FAVORITE_LAYOUT_MOD]) { const mod = Settings.getInt(s); if (mod === 1) // 1 -> Alt; see settings ui Settings.setInt(s, 3); // 3 -> Super; see settings ui ** Affects: gnome-shell-extension-tiling-assistant (Ubuntu) Importance: Undecided Status: New ** Tags: tiling-assistant -- Ubuntu 23.10 Tiling Assistant stops working when Alt is set as the modifier button. https://bugs.launchpad.net/bugs/2039232 You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell-extension-tiling-assistant in Ubuntu. -- Mailing list: https://launchpad.net/~desktop-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
