|
24.
|
|
|
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
|
|
25.
|
|
|
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
|
|
26.
|
|
|
UUIDs of extensions to enable
|
|
|
|
UUIDs van in te schakelen uitbreidingen
|
|
Translated by
Justin
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:16
|
|
27.
|
|
|
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
Hannie Dumoleyn
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:17
|
|
28.
|
|
|
UUIDs of extensions to force disabling
|
|
|
|
UUIDs van gedwongen uit te schakelen uitbreidingen
|
|
Translated by
Nathan Follens
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:26
|
|
29.
|
|
|
GNOME Shell extensions have a UUID property; this key lists extensions which should be disabled, even if loaded as part of the current mode. You can also manipulate this list with the EnableExtension and DisableExtension D-Bus methods on org.gnome.Shell. This key takes precedence over the “enabled-extensions” setting.
|
|
|
|
Gnome Shell-uitbreidingen hebben een UUID-eigenschap; deze instelling somt de uitbreidingen op die uitgeschakeld moeten worden, zelfs indien ze als onderdeel van de huidige modus geladen zijn. Deze lijst is ook te manipuleren met de DBus-methodes ‘EnableExtension’ en ‘DisableExtension’ op org.gnome.Shell. Deze instelling heeft voorrang op de ‘enabled-extensions’-instelling.
|
|
Translated by
Nathan Follens
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:27
|
|
30.
|
|
|
Disable user extensions
|
|
|
|
Gebruikersuitbreidingen uitschakelen
|
|
Translated by
Hannie Dumoleyn
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:37
|
|
31.
|
|
|
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
|
|
32.
|
|
|
Disables the validation of extension version compatibility
|
|
|
|
Schakelt de validatie van versiecompatibiliteit voor uitbreidingen uit
|
|
Translated by
Justin
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:45
|
|
33.
|
|
|
GNOME Shell will only load extensions that claim to support the current running version. Enabling this option will disable this check and try to load all extensions regardless of the versions they claim to support.
|
|
|
|
Gnome Shell zal alleen uitbreidingen laden die aangeven de huidige versie te ondersteunen. Door deze optie in te schakelen wordt deze controle overgeslagen en worden alle uitbreidingen geladen, ongeacht de versies die ze zouden moeten ondersteunen.
|
|
Translated by
Hannie Dumoleyn
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:46
|