61f86a3f29
gnome-shell now provides its own traditional window switcher using a dedicated keybinding, so update the extension to just take over the default application-based switchers as well. https://bugzilla.gnome.org/show_bug.cgi?id=689724
26 lines
1.2 KiB
Plaintext
26 lines
1.2 KiB
Plaintext
data/gnome-classic.desktop.in
|
|
data/gnome-classic.session.desktop.in.in
|
|
data/gnome-shell-classic.desktop.in.in
|
|
extensions/alternate-tab/prefs.js
|
|
extensions/alternative-status-menu/extension.js
|
|
extensions/alternative-status-menu/org.gnome.shell.extensions.alternative-status-menu.gschema.xml.in
|
|
extensions/apps-menu/extension.js
|
|
extensions/auto-move-windows/extension.js
|
|
extensions/auto-move-windows/org.gnome.shell.extensions.auto-move-windows.gschema.xml.in
|
|
extensions/auto-move-windows/prefs.js
|
|
extensions/drive-menu/extension.js
|
|
extensions/example/extension.js
|
|
extensions/example/org.gnome.shell.extensions.example.gschema.xml.in
|
|
extensions/example/prefs.js
|
|
extensions/native-window-placement/extension.js
|
|
extensions/native-window-placement/org.gnome.shell.extensions.native-window-placement.gschema.xml.in
|
|
extensions/places-menu/extension.js
|
|
extensions/places-menu/placeDisplay.js
|
|
extensions/systemMonitor/extension.js
|
|
extensions/user-theme/extension.js
|
|
extensions/user-theme/org.gnome.shell.extensions.user-theme.gschema.xml.in
|
|
extensions/windowsNavigator/extension.js
|
|
extensions/workspace-indicator/extension.js
|
|
extensions/workspace-indicator/prefs.js
|
|
extensions/xrandr-indicator/extension.js
|