rofi: use DPI as set by xsettingsd-setup

This commit is contained in:
Vincent Bernat 2024-07-20 15:50:40 +02:00
parent 4d0944b638
commit d8bb91eacc
2 changed files with 4 additions and 2 deletions

View file

@ -5,7 +5,8 @@
if [ -z "${ROFI_OUTSIDE}" ]; then
export mediaplayer=$1
export Mediaplayer=$(echo $1 | sed -E 's/(.)/\U\1/')
exec rofi -no-lazy-grab -show-icons -no-custom -modi m:$0 -show m \
dpi=$(xrdb -query | sed -nE 's/^Xft\.dpi:\s*//p')
exec rofi -dpi $dpi -no-lazy-grab -show-icons -no-custom -modi m:$0 -show m \
-kb-custom-1 Super+z \
-kb-custom-2 Super+x \
-kb-custom-3 Super+c \

View file

@ -4,7 +4,8 @@
if [ -z "${ROFI_OUTSIDE}" ]; then
yoffset=$(( $(xrdb -query | sed -n 's/^Xft.dpi:\t\([0-9]*\)$/\1/p')*20/96 ))
exec rofi -show-icons -no-custom -modi m:$0 -show m -location 3 -yoffset $yoffset
dpi=$(xrdb -query | sed -nE 's/^Xft\.dpi:\s*//p')
exec rofi -dpi $dpi -show-icons -no-custom -modi m:$0 -show m -location 3 -yoffset $yoffset
fi
case $ROFI_RETV in