Giovanni Campagna
1a00ee38fe
Now it is possible to use GSettings to configure the placement strategy (natural KDE-like or default grid) and whether to consolidate the windows more tigthly, as well as the position of the window captions.
12 lines
566 B
Plaintext
12 lines
566 B
Plaintext
extensions/alternative-status-menu/extension.js
|
|
extensions/alternate-tab/extension.js
|
|
extensions/auto-move-windows/extension.js
|
|
extensions/auto-move-windows/org.gnome.shell.extensions.auto-move-windows.gschema.xml.in
|
|
extensions/dock/extension.js
|
|
extensions/example/extension.js
|
|
extensions/gajim/extension.js
|
|
extensions/native-window-placement/org.gnome.shell.extensions.native-window-placement.gschema.xml.in
|
|
extensions/user-theme/org.gnome.shell.extensions.user-theme.gschema.xml.in
|
|
extensions/windowsNavigator/extension.js
|
|
extensions/xrandr-indicator/extension.js
|