Mabox
/
mb-jgtools
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

menu icon margin fix

master
Daniel Napora 2022-06-05 11:41:36 +02:00
parent 72c03cc5ff
commit 7af957d624
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
bin/mb-jgtools
View File

@ -114,7 +114,7 @@ icon_size = $((icons*menu_font_size*item_height_factor/100-iconmargin)
icon_norm_alpha = 70 icon_norm_alpha = 70
icon_sel_alpha = 100 icon_sel_alpha = 100
icon_text_spacing = ${iconmargin:-8} icon_text_spacing = $((iconmargin+8))
icon_theme = ${jgmenu_icon_theme:-Numix-Square} icon_theme = ${jgmenu_icon_theme:-Numix-Square}
EOF EOF
@ -248,7 +248,7 @@ EOF
fi 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 mkconfigfile
@ -434,7 +434,7 @@ case $LANG in
;; ;;
esac 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 mkconfigfile
cat <<EOF > ${MENU_ITEMS} cat <<EOF > ${MENU_ITEMS}
@ -743,7 +743,7 @@ JGWIDTH=$((jgtools_padding + 348 + jgtools_padding))
MENU_PADDING_TOP=$((jgtools_padding + 221)) MENU_PADDING_TOP=$((jgtools_padding + 221))
TABS="250" TABS="250"
icons=1 icons=1
iconmargin=8 iconmargin=2
item_height_factor=300 item_height_factor=300
#jgmenu_font="Noto Sans Medium 11" #jgmenu_font="Noto Sans Medium 11"
@ -882,7 +882,7 @@ HIDE_BACK_ITEMS=1
MENU_PADDING_TOP=${jgtools_padding:-0} MENU_PADDING_TOP=${jgtools_padding:-0}
TABS="90" 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 mkconfigfile