fixes for standalone pipemenus

master
Daniel Napora 2021-02-01 10:58:12 +01:00
parent df1ecd0842
commit 9bc270ac97
2 changed files with 6 additions and 4 deletions

View File

@ -44,7 +44,8 @@ for item in "$LAUNCHERDIR"/*.desktop; do
if [[ -f $item ]]; then
((a++))
filename=${item##*/}
out+=("$DEL ${filename%.*},rm $item;killall -SIGUSR1 tint2;jgtint2launcher")
filename=${filename^}
out+=("$DEL <b>${filename%.*}</b>,rm $item;killall -SIGUSR1 tint2;jgtint2launcher")
fi
done
if [[ $a -gt 1 ]]; then
@ -57,6 +58,7 @@ out+=(" $OPENDIR <i>(/usr/share/applications)</i>,${JGMENU_RESOURCE_OPENER} $
out+=("^sep()")
for item in "$APPSDIR"/*.desktop; do
filename=${item##*/}
filename=${filename^}
out+=("$ADD <b>${filename%.*}</b>,cp \"$item\" $LAUNCHERDIR;killall -SIGUSR1 tint2;jgtint2launcher")
done
### RUN

View File

@ -47,9 +47,9 @@ menu_width = $JGWIDTH
menu_height_min = ${MENU_HEIGHT_MIN:-0}
menu_height_max = ${MENU_HEIGHT_MAX:-0}
menu_padding_top = ${MENU_PADDING_TOP:-70}
menu_padding_right = ${MENU_PADDING_RIGHT:-2}
menu_padding_bottom = ${MENU_PADDING_BOTTOM:-2}
menu_padding_left = ${MENU_PADDING_LEFT:-2}
menu_padding_right = ${jgtools_padding:-0}
menu_padding_bottom = ${jgtools_padding:-0}
menu_padding_left = ${jgtools_padding:-0}
menu_radius = ${MENU_RADIUS:-0}
menu_valign = ${MENU_VALIGN:-top}
menu_halign = ${MENU_HALIGN:-left}