|
|
1.
|
|
|
Shell Extensions
|
|
|
|
|
Shell-uitbreidingen
|
|
Translated by
Hannie Dumoleyn
|
|
|
|
Located in
data/gnome-shell-extension-prefs.desktop.in.in:4
js/extensionPrefs/main.js:150
|
|
|
2.
|
|
|
Configure GNOME Shell Extensions
|
|
|
|
|
GNOME Shell-uitbreidingen configureren
|
|
Translated by
Nathan Follens
|
|
|
|
Located in
subprojects/extensions-app/data/org.gnome.Extensions.desktop.in.in:7
|
|
|
3.
|
|
|
GNOME Shell
|
|
|
|
|
GNOME Shell
|
|
Translated by
Nathan Follens
|
|
|
|
Located in
data/org.gnome.Shell.desktop.in.in:4
|
|
|
4.
|
|
|
Window management and application launching
|
|
|
|
|
Vensterbeheer en toepassingen starten
|
|
Translated by
Justin
|
|
|
|
Located in
data/org.gnome.Shell.desktop.in.in:5
|
|
|
5.
|
|
|
Enable internal tools useful for developers and testers from Alt-F2
|
|
|
|
|
Interne hulpprogramma’s inschakelen die nuttig zijn voor ontwikkelaars en testers via Alt-F2
|
|
Translated by
Justin van Steijn
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:6
|
|
|
6.
|
|
|
Allows access to internal debugging and monitoring tools using the Alt-F2 dialog.
|
|
|
|
|
Geeft toegang tot interne debugging- en observatieprogramma’s met behulp van het Alt-F2-dialoogvenster.
|
|
Translated by
Justin van Steijn
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:9
|
|
|
7.
|
|
|
UUIDs of extensions to enable
|
|
|
|
|
UUIDs van in te schakelen uitbreidingen
|
|
Translated by
Justin
|
|
|
|
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-uitbreidingen hebben een UUID-eigenschap; deze instelling somt de uitbreidingen op die geladen moeten worden. Alle te laden uitbreiden moeten in deze lijst voorkomen. Deze lijst is ook te manipuleren met de DBus-methodes ‘EnableExtension’ en ‘DisableExtension’ op org.gnome.Shell.
|
|
Translated by
Nathan Follens
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:17
|
|
|
9.
|
|
|
Disable user extensions
|
|
|
|
|
Gebruikersuitbreidingen uitschakelen
|
|
Translated by
Hannie Dumoleyn
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:37
|
|
|
10.
|
|
|
Disable all extensions the user has enabled without affecting the “enabled-extension” setting.
|
|
|
|
|
Schakel alle door de gebruiker ingeschakelde uitbreidingen uit, zonder de instelling ‘enabled-extension’ te wijzigen.
|
|
Translated by
Hannie Dumoleyn
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:38
|
