From bf1e2284f3060a7cd39ebc8fa34589a782564d61 Mon Sep 17 00:00:00 2001 From: Daniel Napora Date: Sat, 14 May 2022 01:43:22 +0200 Subject: [PATCH] sep_font,item_height --- bin/mb-jgtools | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/bin/mb-jgtools b/bin/mb-jgtools index 8d62474..c0f3ffc 100755 --- a/bin/mb-jgtools +++ b/bin/mb-jgtools @@ -5,14 +5,19 @@ . $HOME/.config/mabox/mabox.conf jgmenu_theme=${jgmenu_theme:-obtheme} -item_height_factor=${item_height_factor:-200} menu_font_size=${menu_font_size:-9} menu_font_family=${menu_font_family:-Noto Sans Medium} jgmenu_font="${menu_font_family} ${menu_font_size}" + +# TEMPORARY +[[ -v menu_sep_font_family ]] && : || mb-setvar "menu_sep_font_family='Noto Sans Bold'" +[[ -v menu_sep_font_size ]] && : || mb-setvar menu_sep_font_size=10 +[[ -v item_height_factor ]] && : || mb-setvar item_height_factor=200 #menu title/sep font -menu_sep_font_size=${menu_sep_font_size:-9} +menu_sep_font_size=${menu_sep_font_size:-10} menu_sep_font_family=${menu_sep_font_family:-Noto Sans Bold} menu_sep_font="${menu_sep_font_family} ${menu_sep_font_size}" +item_height_factor=${item_height_factor:-200} [ $(pidof picom) ] && MENU_RADIUS=$jgtools_radius [ -z $jgmenu_use_borders ] && menu_border=0