From c90449156a599df1d11b5967c1d00c10651c2fa1 Mon Sep 17 00:00:00 2001 From: dcarrillo Date: Mon, 18 Nov 2019 20:06:59 +0100 Subject: [PATCH] Update dash-to-panel.ini --- dconf/dash-to-panel.ini | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/dconf/dash-to-panel.ini b/dconf/dash-to-panel.ini index 92d2366..9fbf9c8 100644 --- a/dconf/dash-to-panel.ini +++ b/dconf/dash-to-panel.ini @@ -1,4 +1,5 @@ # dconf-path=/org/gnome/shell/extensions/dash-to-panel/ + [/] appicon-margin=1 appicon-padding=1 @@ -24,7 +25,7 @@ hotkeys-overlay-combo='TEMPORARILY' location-clock='BUTTONSRIGHT' middle-click-action='QUIT' panel-position='TOP' -panel-size=22 +panel-size=24 shift-click-action='MINIMIZE' shift-middle-click-action='LAUNCH' show-activities-button=true