]> git.plutz.net Git - blast/commit
improved DPI scaling for several applications
authorPaul Hänsch <paul@plutz.net>
Tue, 23 Jul 2019 22:24:31 +0000 (00:24 +0200)
committerPaul Hänsch <paul@plutz.net>
Tue, 23 Jul 2019 22:24:31 +0000 (00:24 +0200)
commit252b3cf634069b566396da8bcbab1d53293da8e0
tree40aa8cc91e790d62f23f0438b8f873d60bb1e45c
parentec6406f971adc5b6478510d8d09ff40cde30bf6c
improved DPI scaling for several applications
modules/display_ws5inch.mk
modules/xfce/etc/xdg/xfce4/terminal/terminalrc
modules/xfce/etc/xdg/xfce4/xfconf/xfce-perchannel-xml/xfwm4.xml
modules/xfce/etc/xdg/xfce4/xfconf/xfce-perchannel-xml/xsettings.xml