diff -Nru gnome-shell-extension-dashtodock-57/appIcons.js gnome-shell-extension-dashtodock-57/appIcons.js --- gnome-shell-extension-dashtodock-57/appIcons.js 2017-04-29 07:55:29.000000000 +0000 +++ gnome-shell-extension-dashtodock-57/appIcons.js 2017-05-17 10:47:17.000000000 +0000 @@ -87,9 +87,9 @@ this._stateChangedId = this.app.connect('windows-changed', Lang.bind(this, this.onWindowsChanged)); - this._focuseAppChangeId = tracker.connect('notify::focus-app', - Lang.bind(this, - this._onFocusAppChanged)); + this._focusAppChangeId = tracker.connect('notify::focus-app', + Lang.bind(this, + this._onFocusAppChanged)); this._dots = null; let keys = ['apply-custom-theme', @@ -128,8 +128,10 @@ // Disconect global signals // stateChangedId is already handled by parent) - if (this._focusAppId > 0) - tracker.disconnect(this._focusAppId); + if (this._focusAppChangeId > 0) { + tracker.disconnect(this._focusAppChangeId); + this._focusAppChangeId = 0; + } this._signalsHandler.destroy(); @@ -623,10 +625,14 @@ }, updateNumberOverlay: function() { + // We apply an overall scale factor that might come from a HiDPI monitor. + // Clutter dimensions are in physical pixels, but CSS measures are in logical + // pixels, so make sure to consider the scale. + let scaleFactor = St.ThemeContext.get_for_stage(global.stage).scale_factor; // Set the font size to something smaller than the whole icon so it is // still visible. The border radius is large to make the shape circular let [minWidth, natWidth] = this._iconContainer.get_preferred_width(-1); - let font_size = Math.round(Math.max(12, 0.3*natWidth)); + let font_size = Math.round(Math.max(12, 0.3*natWidth) / scaleFactor); let size = Math.round(font_size*1.2); this._numberOverlayLabel.set_style( this._numberOverlayStyle + diff -Nru gnome-shell-extension-dashtodock-57/dash.js gnome-shell-extension-dashtodock-57/dash.js --- gnome-shell-extension-dashtodock-57/dash.js 2017-04-29 07:55:29.000000000 +0000 +++ gnome-shell-extension-dashtodock-57/dash.js 2017-05-17 10:47:17.000000000 +0000 @@ -635,7 +635,7 @@ let firstButton = iconChildren[0].child; let firstIcon = firstButton._delegate.icon; - let minHeight, natHeight, maxWidth, natWidth; + let minHeight, natHeight, minWidth, natWidth; // Enforce the current icon size during the size request firstIcon.setIconSize(this.iconSize); diff -Nru gnome-shell-extension-dashtodock-57/debian/bzr-builder.manifest gnome-shell-extension-dashtodock-57/debian/bzr-builder.manifest --- gnome-shell-extension-dashtodock-57/debian/bzr-builder.manifest 2017-04-29 07:55:31.000000000 +0000 +++ gnome-shell-extension-dashtodock-57/debian/bzr-builder.manifest 2017-05-17 10:47:18.000000000 +0000 @@ -1,3 +1,3 @@ -# bzr-builder format 0.3 deb-version {debupstream}-1+819 -lp:~gnome-shell-extensions/gnome-shell-extensions/dash-to-dock-head revid:git-v1:6a76c7e7d94a5e08ce9f03861a63c3bc16f56fdb +# bzr-builder format 0.3 deb-version {debupstream}-1+825 +lp:~gnome-shell-extensions/gnome-shell-extensions/dash-to-dock-head revid:git-v1:ef2a53cde9817ab50475e94ac6670378c5fed293 merge packaging lp:~gnome-shell-extensions/gnome-shell-extensions/gnome-shell-extension-dashtodock-packaging revid:git-v1:6b69faa149586a1c14129cf8d0b873f901adcdbf diff -Nru gnome-shell-extension-dashtodock-57/debian/changelog gnome-shell-extension-dashtodock-57/debian/changelog --- gnome-shell-extension-dashtodock-57/debian/changelog 2017-04-29 07:55:31.000000000 +0000 +++ gnome-shell-extension-dashtodock-57/debian/changelog 2017-05-17 10:47:18.000000000 +0000 @@ -1,8 +1,8 @@ -gnome-shell-extension-dashtodock (57-1+819~ubuntu16.04.1) xenial; urgency=low +gnome-shell-extension-dashtodock (57-1+825~ubuntu16.04.1) xenial; urgency=low * Auto build. - -- Mantas Kriaučiūnas Sat, 29 Apr 2017 07:55:31 +0000 + -- Mantas Kriaučiūnas Wed, 17 May 2017 10:47:18 +0000 gnome-shell-extension-dashtodock (57-1) unstable; urgency=medium diff -Nru gnome-shell-extension-dashtodock-57/docking.js gnome-shell-extension-dashtodock-57/docking.js --- gnome-shell-extension-dashtodock-57/docking.js 2017-04-29 07:55:29.000000000 +0000 +++ gnome-shell-extension-dashtodock-57/docking.js 2017-05-17 10:47:17.000000000 +0000 @@ -1850,7 +1850,7 @@ let extendHeight = this._settings.get_boolean('extend-height'); let fixedIsEnabled = this._settings.get_boolean('dock-fixed'); let dockOnPrimary = this._settings.get_boolean('multi-monitor') || - this._preferredMonitorIndex == Main.layoutManager.primaryMonitor; + this._preferredMonitorIndex == Main.layoutManager.primaryIndex; if (!isHorizontal && dockOnPrimary && extendHeight && fixedIsEnabled) { Main.panel._rightCorner.actor.hide(); diff -Nru gnome-shell-extension-dashtodock-57/.pc/.quilt_patches gnome-shell-extension-dashtodock-57/.pc/.quilt_patches --- gnome-shell-extension-dashtodock-57/.pc/.quilt_patches 2017-04-29 07:55:31.000000000 +0000 +++ gnome-shell-extension-dashtodock-57/.pc/.quilt_patches 2017-05-17 10:47:18.000000000 +0000 @@ -1 +1 @@ -/home/buildd/build-RECIPEBRANCHBUILD-1361138/chroot-autobuild/home/buildd/work/tree/gnome-shell-extension-dashtodock-57/debian/patches +/home/buildd/build-RECIPEBRANCHBUILD-1372759/chroot-autobuild/home/buildd/work/tree/gnome-shell-extension-dashtodock-57/debian/patches diff -Nru gnome-shell-extension-dashtodock-57/.pc/.quilt_series gnome-shell-extension-dashtodock-57/.pc/.quilt_series --- gnome-shell-extension-dashtodock-57/.pc/.quilt_series 2017-04-29 07:55:31.000000000 +0000 +++ gnome-shell-extension-dashtodock-57/.pc/.quilt_series 2017-05-17 10:47:18.000000000 +0000 @@ -1 +1 @@ -/home/buildd/build-RECIPEBRANCHBUILD-1361138/chroot-autobuild/home/buildd/work/tree/gnome-shell-extension-dashtodock-57/debian/patches/series +/home/buildd/build-RECIPEBRANCHBUILD-1372759/chroot-autobuild/home/buildd/work/tree/gnome-shell-extension-dashtodock-57/debian/patches/series diff -Nru gnome-shell-extension-dashtodock-57/po/es.po gnome-shell-extension-dashtodock-57/po/es.po --- gnome-shell-extension-dashtodock-57/po/es.po 2017-04-29 07:55:29.000000000 +0000 +++ gnome-shell-extension-dashtodock-57/po/es.po 2017-05-17 10:47:17.000000000 +0000 @@ -6,7 +6,7 @@ msgstr "" "Project-Id-Version: \n" "Report-Msgid-Bugs-To: \n" -"POT-Creation-Date: 2017-03-28 13:30-0400\n" +"POT-Creation-Date: 2017-04-29 13:44-0400\n" "PO-Revision-Date: 2017-02-17 12:11+0100\n" "Last-Translator: Hugo Olabera \n" "Language-Team: \n" @@ -17,39 +17,39 @@ "X-Generator: Poedit 1.8.11\n" "Plural-Forms: nplurals=2; plural=(n != 1);\n" -#: prefs.js:98 +#: prefs.js:111 msgid "Primary monitor" msgstr "Pantalla principal" -#: prefs.js:107 prefs.js:114 +#: prefs.js:120 prefs.js:127 msgid "Secondary monitor " msgstr "Pantalla secundaria" -#: prefs.js:139 Settings.ui.h:28 +#: prefs.js:152 Settings.ui.h:29 msgid "Right" msgstr "Derecha" -#: prefs.js:140 Settings.ui.h:25 +#: prefs.js:153 Settings.ui.h:26 msgid "Left" msgstr "Izquierda" -#: prefs.js:190 +#: prefs.js:203 msgid "Intelligent autohide customization" msgstr "Opciones de auto ocultado" -#: prefs.js:197 prefs.js:374 prefs.js:428 +#: prefs.js:210 prefs.js:391 prefs.js:448 msgid "Reset to defaults" msgstr "Restaurar" -#: prefs.js:367 +#: prefs.js:384 msgid "Show dock and application numbers" msgstr "Mostrar el dock y el número de aplicación" -#: prefs.js:421 +#: prefs.js:441 msgid "Customize middle-click behavior" msgstr "Personalizar comportamiento del botón central" -#: prefs.js:492 +#: prefs.js:512 msgid "Customize running indicators" msgstr "Personalizar indicadores de ejecución" @@ -90,7 +90,8 @@ "If using autohide, the dock will appear for a short time when triggering the " "shortcut." msgstr "" -"Si auto-ocultar está activado, el dock aparecerá momentáneamente al usar el atajo." +"Si auto-ocultar está activado, el dock aparecerá momentáneamente al usar el " +"atajo." #: Settings.ui.h:9 msgid "Shortcut for the options above" @@ -157,18 +158,22 @@ msgstr "Mostrar el dock en" #: Settings.ui.h:24 +msgid "Show on all monitors." +msgstr "Mostrar en todas las pantallas." + +#: Settings.ui.h:25 msgid "Position on screen" msgstr "Posición en pantalla" -#: Settings.ui.h:26 +#: Settings.ui.h:27 msgid "Bottom" msgstr "Abajo" -#: Settings.ui.h:27 +#: Settings.ui.h:28 msgid "Top" msgstr "Arriba" -#: Settings.ui.h:29 +#: Settings.ui.h:30 msgid "" "Hide the dock when it obstructs a window of the the current application. " "More refined settings are available." @@ -176,47 +181,47 @@ "Ocultar el dock cuando cubre una ventana de la aplicación activa. Otras " "opciones disponibles." -#: Settings.ui.h:30 +#: Settings.ui.h:31 msgid "Intelligent autohide" msgstr "Auto ocultado inteligente" -#: Settings.ui.h:31 +#: Settings.ui.h:32 msgid "Dock size limit" msgstr "Tamaño máximo del dock" -#: Settings.ui.h:32 +#: Settings.ui.h:33 msgid "Panel mode: extend to the screen edge" msgstr "Modo panel: extender hasta los bordes de la pantalla" -#: Settings.ui.h:33 +#: Settings.ui.h:34 msgid "Icon size limit" msgstr "Tamaño máximo de los iconos" -#: Settings.ui.h:34 +#: Settings.ui.h:35 msgid "Fixed icon size: scroll to reveal other icons" msgstr "Tamaño fijo de los iconos: desplazarse para mostrar otros" -#: Settings.ui.h:35 +#: Settings.ui.h:36 msgid "Position and size" msgstr "Posición y tamaño" -#: Settings.ui.h:36 +#: Settings.ui.h:37 msgid "Show favorite applications" msgstr "Mostrar aplicaciones favoritas" -#: Settings.ui.h:37 +#: Settings.ui.h:38 msgid "Show running applications" msgstr "Mostrar aplicaciones en ejecución" -#: Settings.ui.h:38 +#: Settings.ui.h:39 msgid "Isolate workspaces." msgstr "Aislar los espacios de trabajo." -#: Settings.ui.h:39 +#: Settings.ui.h:40 msgid "Show open windows previews." msgstr "Mostrar vista rápida de ventanas." -#: Settings.ui.h:40 +#: Settings.ui.h:41 msgid "" "If disabled, these settings are accessible from gnome-tweak-tool or the " "extension website." @@ -224,23 +229,23 @@ "Si está deshabilitado, estas opciones están accesibles desde gnome-tweak-" "tool o desde el sitio web de extensiones." -#: Settings.ui.h:41 +#: Settings.ui.h:42 msgid "Show Applications icon" msgstr "Mostrar el icono Mostrar aplicaciones" -#: Settings.ui.h:42 +#: Settings.ui.h:43 msgid "Move the applications button at the beginning of the dock." msgstr "Mover el botón de aplicaciones al comienzo del dock" -#: Settings.ui.h:43 +#: Settings.ui.h:44 msgid "Animate Show Applications." msgstr "Animar Mostrar aplicaciones" -#: Settings.ui.h:44 +#: Settings.ui.h:45 msgid "Launchers" msgstr "Lanzadores" -#: Settings.ui.h:45 +#: Settings.ui.h:46 msgid "" "Enable Super+(0-9) as shortcuts to activate apps. It can also be used " "together with Shift and Ctrl." @@ -248,43 +253,47 @@ "Habilitar Súper+(0-9) como atajos para activar aplicaciones. También puede " "ser usado junto con Mayús y Ctrl." -#: Settings.ui.h:46 +#: Settings.ui.h:47 msgid "Use keyboard shortcuts to activate apps" msgstr "Usar atajos de teclado para activar aplicaciones" -#: Settings.ui.h:47 +#: Settings.ui.h:48 msgid "Behaviour when clicking on the icon of a running application." msgstr "Comportamiento al pulsar el icono de una aplicación en ejecución" -#: Settings.ui.h:48 +#: Settings.ui.h:49 msgid "Click action" msgstr "Acción del Click" -#: Settings.ui.h:49 +#: Settings.ui.h:50 msgid "Minimize" msgstr "Minimizar" -#: Settings.ui.h:50 +#: Settings.ui.h:51 +msgid "Minimize or overview" +msgstr "Minimizar o vista de actividades" + +#: Settings.ui.h:52 msgid "Behaviour when scrolling on the icon of an application." msgstr "Comportamiento al usar scroll sobre el icono de una aplicación." -#: Settings.ui.h:51 +#: Settings.ui.h:53 msgid "Scroll action" msgstr "Acción de scroll" -#: Settings.ui.h:52 +#: Settings.ui.h:54 msgid "Do nothing" msgstr "No hacer nada" -#: Settings.ui.h:53 +#: Settings.ui.h:55 msgid "Switch workspace" msgstr "Cambiar de espacio de trabajo." -#: Settings.ui.h:54 +#: Settings.ui.h:56 msgid "Behavior" msgstr "Comportamiento" -#: Settings.ui.h:55 +#: Settings.ui.h:57 msgid "" "Few customizations meant to integrate the dock with the default GNOME theme. " "Alternatively, specific options can be enabled below." @@ -292,72 +301,72 @@ "Utilizar el tema predeterminado de GNOME. Alternativamente, pueden elegirse " "ciertas opciones más abajo." -#: Settings.ui.h:56 +#: Settings.ui.h:58 msgid "Use built-in theme" msgstr "Utilizar el tema por defecto" -#: Settings.ui.h:57 +#: Settings.ui.h:59 msgid "Save space reducing padding and border radius." msgstr "Reducir los márgenes para ganar espacio" -#: Settings.ui.h:58 +#: Settings.ui.h:60 msgid "Shrink the dash" msgstr "Encoger el dock" -#: Settings.ui.h:59 +#: Settings.ui.h:61 msgid "Show a dot for each windows of the application." msgstr "Mostrar un punto por cada ventana de la aplicación." -#: Settings.ui.h:60 +#: Settings.ui.h:62 msgid "Show windows counter indicators" msgstr "Mostrar contador de ventanas" -#: Settings.ui.h:61 +#: Settings.ui.h:63 msgid "Set the background color for the dash." msgstr "Escoger el color de fondo del dock." -#: Settings.ui.h:62 +#: Settings.ui.h:64 msgid "Customize the dash color" msgstr "Personalizar el color del dock" -#: Settings.ui.h:63 +#: Settings.ui.h:65 msgid "Tune the dash background opacity." msgstr "Ajustar la opacidad del fondo del dock." -#: Settings.ui.h:64 +#: Settings.ui.h:66 msgid "Customize opacity" msgstr "Personalizar opacidad" -#: Settings.ui.h:65 +#: Settings.ui.h:67 msgid "Opacity" msgstr "Opacidad" -#: Settings.ui.h:66 +#: Settings.ui.h:68 msgid "Force straight corner\n" msgstr "Forzar esquinas rectas\n" -#: Settings.ui.h:68 +#: Settings.ui.h:70 msgid "Appearance" msgstr "Apariencia" -#: Settings.ui.h:69 +#: Settings.ui.h:71 msgid "version: " msgstr "versión: " -#: Settings.ui.h:70 +#: Settings.ui.h:72 msgid "Moves the dash out of the overview transforming it in a dock" msgstr "" "Mueve el panel fuera de la vista de actividades trasformándolo en un dock" -#: Settings.ui.h:71 +#: Settings.ui.h:73 msgid "Created by" msgstr "Creado por" -#: Settings.ui.h:72 +#: Settings.ui.h:74 msgid "Webpage" msgstr "Sitio web" -#: Settings.ui.h:73 +#: Settings.ui.h:75 msgid "" "This program comes with ABSOLUTELY NO WARRANTY.\n" "See the Licencia Pública General de GNU, versión 2 o posterior para obtener " "más detalles." -#: Settings.ui.h:75 +#: Settings.ui.h:77 msgid "About" msgstr "Acerca de" -#: Settings.ui.h:76 +#: Settings.ui.h:78 msgid "Show the dock by mouse hover on the screen edge." msgstr "Mostrar el dock al mover el puntero al borde de la pantalla" -#: Settings.ui.h:77 +#: Settings.ui.h:79 msgid "Autohide" msgstr "Auto ocultar" -#: Settings.ui.h:78 +#: Settings.ui.h:80 msgid "Push to show: require pressure to show the dock" msgstr "Empujar para mostrar: requiere hacer presión para mostrar el dock" -#: Settings.ui.h:79 +#: Settings.ui.h:81 msgid "Enable in fullscreen mode" msgstr "Habilitar en modo pantalla completa" -#: Settings.ui.h:80 +#: Settings.ui.h:82 msgid "Show the dock when it doesn't obstruct application windows." msgstr "Mostrar el dock cuando no cubra otras ventanas de aplicaciones" -#: Settings.ui.h:81 +#: Settings.ui.h:83 msgid "Dodge windows" msgstr "Auto ocultado inteligente" -#: Settings.ui.h:82 +#: Settings.ui.h:84 msgid "All windows" msgstr "Todas las ventanas" -#: Settings.ui.h:83 +#: Settings.ui.h:85 msgid "Only focused application's windows" msgstr "Sólo las ventanas de la aplicación activa" -#: Settings.ui.h:84 +#: Settings.ui.h:86 msgid "Only maximized windows" msgstr "Sólo las ventanas maximizadas" -#: Settings.ui.h:85 +#: Settings.ui.h:87 msgid "Animation duration (s)" msgstr "Duración de la animación" -#: Settings.ui.h:86 +#: Settings.ui.h:88 msgid "0.000" msgstr "0.000" -#: Settings.ui.h:87 +#: Settings.ui.h:89 msgid "Show timeout (s)" msgstr "Tiempo de aparición" -#: Settings.ui.h:88 +#: Settings.ui.h:90 msgid "Pressure threshold" msgstr "Nivel de presión" - diff -Nru gnome-shell-extension-dashtodock-57/po/fr.po gnome-shell-extension-dashtodock-57/po/fr.po --- gnome-shell-extension-dashtodock-57/po/fr.po 2017-04-29 07:55:29.000000000 +0000 +++ gnome-shell-extension-dashtodock-57/po/fr.po 2017-05-17 10:47:17.000000000 +0000 @@ -7,7 +7,7 @@ msgstr "" "Project-Id-Version: Dash to Dock\n" "Report-Msgid-Bugs-To: \n" -"POT-Creation-Date: 2017-04-17 10:07+0200\n" +"POT-Creation-Date: 2017-04-29 13:44-0400\n" "PO-Revision-Date: 2017-04-17 10:31+0200\n" "Last-Translator: Thomas GONET \n" "Language-Team: Jean-Baptiste Le Cz \n" @@ -17,39 +17,39 @@ "Content-Transfer-Encoding: 8bit\n" "X-Generator: Poedit 1.8.7.1\n" -#: prefs.js:98 +#: prefs.js:111 msgid "Primary monitor" msgstr "Moniteur principal" -#: prefs.js:107 prefs.js:114 +#: prefs.js:120 prefs.js:127 msgid "Secondary monitor " msgstr "Moniteur secondaire" -#: prefs.js:139 Settings.ui.h:28 +#: prefs.js:152 Settings.ui.h:29 msgid "Right" msgstr "Droite" -#: prefs.js:140 Settings.ui.h:25 +#: prefs.js:153 Settings.ui.h:26 msgid "Left" msgstr "Gauche" -#: prefs.js:190 +#: prefs.js:203 msgid "Intelligent autohide customization" msgstr "Personnalisation du masquage automatique" -#: prefs.js:197 prefs.js:374 prefs.js:428 +#: prefs.js:210 prefs.js:391 prefs.js:448 msgid "Reset to defaults" msgstr "Restaurer la configuration par défaut" -#: prefs.js:367 +#: prefs.js:384 msgid "Show dock and application numbers" msgstr "Afficher le dock et le numéro d'application" -#: prefs.js:421 +#: prefs.js:441 msgid "Customize middle-click behavior" msgstr "Personnaliser le comportement du clic milieu" -#: prefs.js:492 +#: prefs.js:512 msgid "Customize running indicators" msgstr "Régler les indicateurs de fenêtres" @@ -79,7 +79,7 @@ "the shortcut." msgstr "" "Afficher temporairement les numéros d'application sur les icônes, " -"correspondantau raccourci clavier." +"correspondant au raccourci clavier." #: Settings.ui.h:7 msgid "Show the dock if it is hidden" @@ -158,18 +158,22 @@ msgstr "Afficher le dock sur le" #: Settings.ui.h:24 +msgid "Show on all monitors." +msgstr "Afficher sur tous les écrans." + +#: Settings.ui.h:25 msgid "Position on screen" msgstr "Position sur l'écran" -#: Settings.ui.h:26 +#: Settings.ui.h:27 msgid "Bottom" msgstr "Bas" -#: Settings.ui.h:27 +#: Settings.ui.h:28 msgid "Top" msgstr "Haut" -#: Settings.ui.h:29 +#: Settings.ui.h:30 msgid "" "Hide the dock when it obstructs a window of the the current application. " "More refined settings are available." @@ -177,47 +181,47 @@ "Cache le dock quand il gêne l'application principale. D'autres paramètres " "plus spécifiques sont disponibles." -#: Settings.ui.h:30 +#: Settings.ui.h:31 msgid "Intelligent autohide" msgstr "Masquage intelligent" -#: Settings.ui.h:31 +#: Settings.ui.h:32 msgid "Dock size limit" msgstr "Taille maximum du dock" -#: Settings.ui.h:32 +#: Settings.ui.h:33 msgid "Panel mode: extend to the screen edge" msgstr "Mode barre: étendre aux bords de l'écran" -#: Settings.ui.h:33 +#: Settings.ui.h:34 msgid "Icon size limit" msgstr "Taille maximum des icônes" -#: Settings.ui.h:34 +#: Settings.ui.h:35 msgid "Fixed icon size: scroll to reveal other icons" msgstr "Taille des icônes fixe: faire défiler pour voir les autres icônes" -#: Settings.ui.h:35 +#: Settings.ui.h:36 msgid "Position and size" msgstr "Position et taille" -#: Settings.ui.h:36 +#: Settings.ui.h:37 msgid "Show favorite applications" msgstr "Afficher les applications favorites" -#: Settings.ui.h:37 +#: Settings.ui.h:38 msgid "Show running applications" msgstr "Afficher les applications en cours" -#: Settings.ui.h:38 +#: Settings.ui.h:39 msgid "Isolate workspaces." msgstr "Isoler les espaces de travail." -#: Settings.ui.h:39 +#: Settings.ui.h:40 msgid "Show open windows previews." msgstr "Afficher des aperçus de fenêtres." -#: Settings.ui.h:40 +#: Settings.ui.h:41 msgid "" "If disabled, these settings are accessible from gnome-tweak-tool or the " "extension website." @@ -225,24 +229,24 @@ "Si désactivés, ces paramètres sont accessibles via gnome-tweak-tool ou le " "site d'extension GNOME." -#: Settings.ui.h:41 +#: Settings.ui.h:42 msgid "Show Applications icon" msgstr "Afficher le raccourci Afficher les Applications" -#: Settings.ui.h:42 +#: Settings.ui.h:43 msgid "Move the applications button at the beginning of the dock." msgstr "" "Placer le raccourci Afficher les Applications en première position" -#: Settings.ui.h:43 +#: Settings.ui.h:44 msgid "Animate Show Applications." msgstr "Animer le raccourci Afficher les Applications" -#: Settings.ui.h:44 +#: Settings.ui.h:45 msgid "Launchers" msgstr "Lanceurs" -#: Settings.ui.h:45 +#: Settings.ui.h:46 msgid "" "Enable Super+(0-9) as shortcuts to activate apps. It can also be used " "together with Shift and Ctrl." @@ -250,47 +254,47 @@ "Activer Super+(0-9) comme raccourcis pour activer les applications. On peut " "l'utiliser aussi avec Shift et Ctrl." -#: Settings.ui.h:46 +#: Settings.ui.h:47 msgid "Use keyboard shortcuts to activate apps" msgstr "Utiliser des raccourcis clavier pour activer les applications" -#: Settings.ui.h:47 +#: Settings.ui.h:48 msgid "Behaviour when clicking on the icon of a running application." msgstr "Comportement du clic sur l'icône d'une application ouverte." -#: Settings.ui.h:48 +#: Settings.ui.h:49 msgid "Click action" msgstr "Action du clic" -#: Settings.ui.h:49 +#: Settings.ui.h:50 msgid "Minimize" msgstr "Minimiser la fenêtre" -#: Settings.ui.h:50 +#: Settings.ui.h:51 msgid "Minimize or overview" msgstr "Minimiser ou lancer l'exposé" -#: Settings.ui.h:51 +#: Settings.ui.h:52 msgid "Behaviour when scrolling on the icon of an application." msgstr "Comportement lors du défilement sur l'icône d'une application." -#: Settings.ui.h:52 +#: Settings.ui.h:53 msgid "Scroll action" msgstr "Action du défilement" -#: Settings.ui.h:53 +#: Settings.ui.h:54 msgid "Do nothing" msgstr "Ne rien faire" -#: Settings.ui.h:54 +#: Settings.ui.h:55 msgid "Switch workspace" msgstr "Changer d'espace de travail" -#: Settings.ui.h:55 +#: Settings.ui.h:56 msgid "Behavior" msgstr "Comportement" -#: Settings.ui.h:56 +#: Settings.ui.h:57 msgid "" "Few customizations meant to integrate the dock with the default GNOME theme. " "Alternatively, specific options can be enabled below." @@ -298,71 +302,71 @@ "Assortir le dock avec le thème par défaut. Sinon, vous pouvez personnaliser " "quelques paramètres ci-dessous." -#: Settings.ui.h:57 +#: Settings.ui.h:58 msgid "Use built-in theme" msgstr "Utiliser le thème par défaut" -#: Settings.ui.h:58 +#: Settings.ui.h:59 msgid "Save space reducing padding and border radius." msgstr "Réduire la taille des marges pour gagner de la place." -#: Settings.ui.h:59 +#: Settings.ui.h:60 msgid "Shrink the dash" msgstr "Réduire les marges" -#: Settings.ui.h:60 +#: Settings.ui.h:61 msgid "Show a dot for each windows of the application." msgstr "Afficher un point pour chaque fenêtre ouverte de l'application." -#: Settings.ui.h:61 +#: Settings.ui.h:62 msgid "Show windows counter indicators" msgstr "Afficher un compteur de fenêtres" -#: Settings.ui.h:62 +#: Settings.ui.h:63 msgid "Set the background color for the dash." msgstr "Choisir la couleur de fond du dock." -#: Settings.ui.h:63 +#: Settings.ui.h:64 msgid "Customize the dash color" msgstr "Changer la couleur du dock" -#: Settings.ui.h:64 +#: Settings.ui.h:65 msgid "Tune the dash background opacity." msgstr "Régler l'opacité en fond du dock." -#: Settings.ui.h:65 +#: Settings.ui.h:66 msgid "Customize opacity" msgstr "Régler l'opacité du dock" -#: Settings.ui.h:66 +#: Settings.ui.h:67 msgid "Opacity" msgstr "Opacité" -#: Settings.ui.h:67 +#: Settings.ui.h:68 msgid "Force straight corner\n" msgstr "Forcer des coins droits\n" -#: Settings.ui.h:69 +#: Settings.ui.h:70 msgid "Appearance" msgstr "Apparence" -#: Settings.ui.h:70 +#: Settings.ui.h:71 msgid "version: " msgstr "Version: " -#: Settings.ui.h:71 +#: Settings.ui.h:72 msgid "Moves the dash out of the overview transforming it in a dock" msgstr "Place le dash hors de l'aperçu des fenêtres, le transformant en dock" -#: Settings.ui.h:72 +#: Settings.ui.h:73 msgid "Created by" msgstr "Conçu par" -#: Settings.ui.h:73 +#: Settings.ui.h:74 msgid "Webpage" msgstr "Site web" -#: Settings.ui.h:74 +#: Settings.ui.h:75 msgid "" "This program comes with ABSOLUTELY NO WARRANTY.\n" "See the Licence Générale Publique GNU version 2 ou plus récente pour plus " "d'informations." -#: Settings.ui.h:76 +#: Settings.ui.h:77 msgid "About" msgstr "À propos" -#: Settings.ui.h:77 +#: Settings.ui.h:78 msgid "Show the dock by mouse hover on the screen edge." msgstr "Afficher le dock en survolant le bord de l'écran." -#: Settings.ui.h:78 +#: Settings.ui.h:79 msgid "Autohide" msgstr "Masquage automatique" -#: Settings.ui.h:79 +#: Settings.ui.h:80 msgid "Push to show: require pressure to show the dock" msgstr "Pousser pour Afficher: requiert une pression pour afficher le dock" -#: Settings.ui.h:80 +#: Settings.ui.h:81 msgid "Enable in fullscreen mode" msgstr "Activer en mode plein-écran" -#: Settings.ui.h:81 +#: Settings.ui.h:82 msgid "Show the dock when it doesn't obstruct application windows." msgstr "Afficher le dock quand il ne gêne pas les fenêtres." -#: Settings.ui.h:82 +#: Settings.ui.h:83 msgid "Dodge windows" msgstr "Masquage automatique intelligent" -#: Settings.ui.h:83 +#: Settings.ui.h:84 msgid "All windows" msgstr "Toutes les fenêtres" -#: Settings.ui.h:84 +#: Settings.ui.h:85 msgid "Only focused application's windows" msgstr "Seulement la fenêtre de l'application active" -#: Settings.ui.h:85 +#: Settings.ui.h:86 msgid "Only maximized windows" msgstr "Seulement les fenêtres maximisées" -#: Settings.ui.h:86 +#: Settings.ui.h:87 msgid "Animation duration (s)" msgstr "Durée de l'animation (s)" -#: Settings.ui.h:87 +#: Settings.ui.h:88 msgid "0.000" msgstr "0.000" -#: Settings.ui.h:88 +#: Settings.ui.h:89 msgid "Show timeout (s)" msgstr "Délai d'apparition (s)" -#: Settings.ui.h:89 +#: Settings.ui.h:90 msgid "Pressure threshold" msgstr "Seuil de pression"