From 7af957d62445b1836b22b4dab0792b898ecec91e Mon Sep 17 00:00:00 2001 From: Daniel Napora Date: Sun, 5 Jun 2022 11:41:36 +0200 Subject: [PATCH] menu icon margin fix --- bin/mb-jgtools | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/bin/mb-jgtools b/bin/mb-jgtools index 8c6bedd..6149ce8 100755 --- a/bin/mb-jgtools +++ b/bin/mb-jgtools @@ -114,7 +114,7 @@ icon_size = $((icons*menu_font_size*item_height_factor/100-iconmargin) icon_norm_alpha = 70 icon_sel_alpha = 100 -icon_text_spacing = ${iconmargin:-8} +icon_text_spacing = $((iconmargin+8)) icon_theme = ${jgmenu_icon_theme:-Numix-Square} EOF @@ -248,7 +248,7 @@ EOF fi -[[ "$jgmenu_use_icons" == "false" ]] && icons=0 iconmargin=0 || icons=1 iconmargin=8 +[[ "$jgmenu_use_icons" == "false" ]] && icons=0 iconmargin=0 || icons=1 iconmargin=2 mkconfigfile @@ -434,7 +434,7 @@ case $LANG in ;; esac -[ $jgmenu_use_icons == false ] && icons=0 iconmargin=0 || icons=1 iconmargin=8 +[ $jgmenu_use_icons == false ] && icons=0 iconmargin=0 || icons=1 iconmargin=2 mkconfigfile cat < ${MENU_ITEMS} @@ -743,7 +743,7 @@ JGWIDTH=$((jgtools_padding + 348 + jgtools_padding)) MENU_PADDING_TOP=$((jgtools_padding + 221)) TABS="250" icons=1 -iconmargin=8 +iconmargin=2 item_height_factor=300 #jgmenu_font="Noto Sans Medium 11" @@ -882,7 +882,7 @@ HIDE_BACK_ITEMS=1 MENU_PADDING_TOP=${jgtools_padding:-0} TABS="90" -[ $jgmenu_use_icons == false ] && icons=0 iconmargin=0 || icons=1 iconmargin=8 +[ $jgmenu_use_icons == false ] && icons=0 iconmargin=0 || icons=1 iconmargin=2 mkconfigfile