blob: 99ed3377bcd92f15964af7af548a7ce766f7509f (
plain)
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;'
|