diff options
author | Luke Shumaker <lukeshu@datawire.io> | 2019-05-06 10:20:21 -0400 |
---|---|---|
committer | Luke Shumaker <lukeshu@datawire.io> | 2019-05-06 10:20:21 -0400 |
commit | f28657d882d340158ef0af3974ff0d04d712a344 (patch) | |
tree | 32d0ce7303047112c3ddc51f499c7e153518e166 /.config/bash/rc.d/95_gtk3.sh | |
parent | af56e80a3c60e17859ae3b3daa5fc4b44754b667 (diff) |
fix-dpi: Better GTK+ support
Diffstat (limited to '.config/bash/rc.d/95_gtk3.sh')
-rw-r--r-- | .config/bash/rc.d/95_gtk3.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/.config/bash/rc.d/95_gtk3.sh b/.config/bash/rc.d/95_gtk3.sh new file mode 100644 index 0000000..99ed337 --- /dev/null +++ b/.config/bash/rc.d/95_gtk3.sh @@ -0,0 +1,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;' |