.config/bash/rc.d/95_gtk3.sh


1
2
3
4
5
6
7
8
9

#!/hint/bash

_gtk_set_shell_DPI() {
	if [[ -n $DISPLAY ]]; then
		eval "$(systemctl --user show-environment | grep -e ^GDK_SCALE= -e ^GDK_DPI_SCALE=)"
		export GDK_SCALE GDK_DPI_SCALE
	fi
}
PROMPT_COMMAND+='_gtk_set_shell_DPI;'