|
1.
|
|
|
Shell Extensions
|
|
|
|
Extensions Shell
|
|
Translated by
Guillaume Bernard
|
|
|
|
Located in
data/gnome-shell-extension-prefs.desktop.in.in:4
js/extensionPrefs/main.js:150
|
|
2.
|
|
|
Configure GNOME Shell Extensions
|
|
|
|
Configurer les extensions Shell de GNOME
|
|
Translated by
Alain Lojewski
|
|
|
|
Located in
subprojects/extensions-app/data/org.gnome.Extensions.desktop.in.in:7
|
|
3.
|
|
|
GNOME Shell
|
|
|
|
Shell de GNOME
|
|
Translated by
Alain Lojewski
|
|
|
|
Located in
data/org.gnome.Shell.desktop.in.in:4
|
|
4.
|
|
|
Window management and application launching
|
|
|
|
Gestion des fenêtres et lancement des applications
|
|
Translated by
Guillaume Bernard
|
|
|
|
Located in
data/org.gnome.Shell.desktop.in.in:5
|
|
5.
|
|
|
Enable internal tools useful for developers and testers from Alt-F2
|
|
|
|
Activer les outils internes pour les développeurs et les testeurs depuis Alt-F2
|
|
Translated by
Guillaume Bernard
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:6
|
|
6.
|
|
|
Allows access to internal debugging and monitoring tools using the Alt-F2 dialog.
|
|
|
|
Autoriser l’accès aux outils internes de débogage et de surveillance grâce à la boîte de dialogue de lancement d’applications (Alt-F2).
|
|
Translated by
Alain Lojewski
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:9
|
|
7.
|
|
|
UUIDs of extensions to enable
|
|
|
|
Identifiants UUID des extensions à activer
|
|
Translated by
Guillaume Bernard
|
|
|
|
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.
|
|
|
|
Les extensions Shell de GNOME ont une propriété UUID. Cette clé énumère les extensions qui doivent être chargées. Toute extension qui voudrait être chargée doit être ajoutée dans cette liste. Vous pouvez aussi manipuler cette liste avec les méthodes DBus EnableExtension et DisableExtension de org.gnome.Shell.
|
|
Translated by
Thibault Martin
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:17
|
|
9.
|
|
|
UUIDs of extensions to force disabling
|
|
|
|
Identifiants UUID des extensions à désactiver de force
|
|
Translated by
Claude Paroz
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:26
|
|
10.
|
|
|
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.
|
|
|
|
Les extensions Shell de GNOME ont une propriété UUID. Cette clé énumère les extensions qui doivent être désactivées, même si elles sont chargées dans le mode actuel. Vous pouvez aussi manipuler cette liste avec les méthodes DBus EnableExtension et DisableExtension de org.gnome.Shell. Cette clé est prioritaire sur la clé «[nbsp] enabled-extensions[nbsp] ».
|
|
Translated by
Thibault Martin
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:27
|