|
11.
|
|
|
UUIDs of extensions to enable
|
|
|
|
UUID de las extensiones que activar
|
|
Translated by
Daniel Mustieles
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:16
|
|
12.
|
|
|
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.
|
|
|
|
Las extensiones de GNOME Shell tienen una propiedad UUID; esta clave lista las extensiones que se deben cargar. Cualquier extensión que se quiere cargar debe estar en la lista. También puede manipular esta lista con los métodos de DBus «EnableExtension» y «DisableExtension» en org.gnome.Shell.
|
|
Translated by
Daniel Mustieles
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:17
|
|
13.
|
|
|
UUIDs of extensions to force disabling
|
|
|
|
UUID de las extensiones que desactivar forzosamente
|
|
Translated by
Daniel Mustieles
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:26
|
|
14.
|
|
|
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.
|
|
|
|
Las extensiones de GNOME Shell tienen una propiedad UUID; esta clave lista las extensiones que se deben desactivar incluso si están cargadas como parte del modo actual. También puede manipular esta lista con los métodos de DBus «EnableExtension» y «DisableExtension» en org.gnome.Shell. Esta clave prevalece sobre la opción “enabled-extensions”.
|
|
Translated by
Daniel Mustieles
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:27
|
|
15.
|
|
|
Disable user extensions
|
|
|
|
Desactivar extensiones de usuario
|
|
Translated by
Daniel Mustieles
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:37
|
|
16.
|
|
|
Disable all extensions the user has enabled without affecting the “enabled-extension” setting.
|
|
|
|
Desactivar todas las extensiones que ha activado el usuario sin afectar a la configuración «enabled-extension».
|
|
Translated by
Daniel Mustieles
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:38
|
|
17.
|
|
|
Disables the validation of extension version compatibility
|
|
|
|
Desactiva la validación de la compatibilidad de la versión de la extensión
|
|
Translated by
Daniel Mustieles
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:56
|
|
18.
|
|
|
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 sólo cargará las extensiones que indiquen que soportan la versión actual en ejecución. Activar esta opción desactivará esta comprobación e intentará cargar todas las extensiones, independientemente de las versiones que indiquen que soportan.
|
|
Translated by
Daniel Mustieles
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:57
|
|
19.
|
|
|
List of desktop file IDs for favorite applications
|
|
|
|
Lista de ID de archivos de escritorio para las aplicaciones favoritas
|
|
Translated by
Daniel Mustieles
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:65
|
|
20.
|
|
|
The applications corresponding to these identifiers will be displayed in the favorites area.
|
|
|
|
Las aplicaciones correspondientes con esos identificadores se mostrarán en el área de favoritos.
|
|
Translated by
Daniel Mustieles
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:66
|