|
1.
|
|
|
Shell Extensions
|
|
|
|
Shell Extensions
|
|
Translated and reviewed by
Anthony Harrington
|
|
|
|
Located in
data/gnome-shell-extension-prefs.desktop.in.in:4
js/extensionPrefs/main.js:150
|
|
2.
|
|
|
Configure GNOME Shell Extensions
|
|
|
|
Configure GNOME Shell Extensions
|
|
Translated by
David King
|
|
|
|
Located in
subprojects/extensions-app/data/org.gnome.Extensions.desktop.in.in:7
|
|
3.
|
|
|
GNOME Shell
|
|
|
|
GNOME Shell
|
|
Translated by
David King
|
|
|
|
Located in
data/org.gnome.Shell.desktop.in.in:4
|
|
4.
|
|
|
Window management and application launching
|
|
|
|
Window management and application launching
|
|
Translated by
David King
|
|
|
|
Located in
data/org.gnome.Shell.desktop.in.in:5
|
|
5.
|
|
|
Enable internal tools useful for developers and testers from Alt-F2
|
|
|
|
Enable internal tools useful for developers and testers from Alt+F2
|
|
Translated by
David King
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:6
|
|
6.
|
|
|
Allows access to internal debugging and monitoring tools using the Alt-F2 dialog.
|
|
|
|
Allows access to internal debugging and monitoring tools using the Alt+F2 dialogue.
|
|
Translated by
David King
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:9
|
|
7.
|
|
|
UUIDs of extensions to enable
|
|
|
|
UUIDs of extensions to enable
|
|
Translated by
David King
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:16
|
|
8.
|
|
|
GNOME Shell extensions have a UUID property; this key lists extensions which should be loaded. Any extension that wants to be loaded needs to be in this list. You can also manipulate this list with the EnableExtension and DisableExtension D-Bus methods on org.gnome.Shell.
|
|
|
|
GNOME Shell extensions have a UUID property; this key lists extensions which should be loaded. Any extension that wants to be loaded needs to be in this list. You can also manipulate this list with the EnableExtension and DisableExtension D-Bus methods on org.gnome.Shell.
|
|
Translated by
David King
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:17
|
|
9.
|
|
|
Disable user extensions
|
|
|
|
Disable user extensions
|
|
Translated and reviewed by
Anthony Harrington
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:37
|
|
10.
|
|
|
Disable all extensions the user has enabled without affecting the “enabled-extension” setting.
|
|
|
|
Disable all extensions the user has enabled without affecting the “enabled-extension” setting.
|
|
Translated by
Bruce Cowan
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:38
|