From e0255d47630097a913bf02a25233090fbd7519ab Mon Sep 17 00:00:00 2001 From: Tio TROM Date: Mon, 7 Aug 2023 23:01:38 +0200 Subject: [PATCH] adapt the mouse pointer for HDPI --- theme-switcher | 3 +++ 1 file changed, 3 insertions(+) diff --git a/theme-switcher b/theme-switcher index adf8fac..ca76b4b 100644 --- a/theme-switcher +++ b/theme-switcher @@ -43,8 +43,11 @@ set_theme() { if [ "$(xfconf-query -c xsettings -p /Gdk/WindowScalingFactor)" = '2' ]; then # Use the highDPI themes for XFWM if highDPI is enabled in XFCE xfconf-query -c xfwm4 -p /general/theme -n -t string -s "$theme-xhdpi" + xfconf-query -c xsettings -p /Gtk/CursorThemeSize -s "45" else xfconf-query -c xfwm4 -p /general/theme -n -t string -s "$theme" + xfconf-query -c xsettings -p /Gtk/CursorThemeSize -s "25" + fi # Send notification about the theme change