|
|
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.
|
|
|
Disable user extensions
|
|
|
|
|
Désactiver les extensions utilisateur
|
|
Translated by
Guillaume Bernard
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:37
|
|
|
10.
|
|
|
Disable all extensions the user has enabled without affecting the “enabled-extension” setting.
|
|
|
|
|
Désactiver l’ensemble des extensions activées par l’utilisateur sans affecter la propriété «[nbsp]enabled-extension[nbsp]».
|
|
Translated by
Alain Lojewski
|
|
|
|
Located in
data/org.gnome.shell.gschema.xml.in:38
|
