From: Paul Hänsch <paul@plutz.net>
Date: Tue, 23 Jul 2019 22:24:31 +0000 (+0200)
Subject: improved DPI scaling for several applications
X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;h=252b3cf634069b566396da8bcbab1d53293da8e0;p=blast

improved DPI scaling for several applications
---

diff --git a/modules/display_ws5inch.mk b/modules/display_ws5inch.mk
index c7698c7..7b3e941 100644
--- a/modules/display_ws5inch.mk
+++ b/modules/display_ws5inch.mk
@@ -44,5 +44,7 @@ _display_ws5inch: ${CFGROOT} _copy _mount
 	mkdir -p "$${CFGROOT}/etc/X11/Xresources/"
 	printf 'Xft.dpi: 180\n' >"$${CFGROOT}/etc/X11/Xresources/dpi_resolution"
 	# Workaround for applications that do not handle DPI scaling correctly
-	-sed -i 's;^Exec=chromium;Exec=env GDK_DPI_SCALE=.5 chromium;' $${CFGROOT}/usr/share/applications/chromium*.desktop
-	-sed -i 's;^Exec=firefox;Exec=env GDK_DPI_SCALE=.5 firefox;' $${CFGROOT}/usr/share/applications/firefox*.desktop
+	-sed -i 's;^Exec=;Exec=env GDK_DPI_SCALE=.5 ;' \
+	  $${CFGROOT}/usr/share/applications/chromium*.desktop \
+	  $${CFGROOT}/usr/share/applications/firefox*.desktop \
+	  $${CFGROOT}/usr/share/applications/exo-web-browser.desktop
diff --git a/modules/xfce/etc/xdg/xfce4/terminal/terminalrc b/modules/xfce/etc/xdg/xfce4/terminal/terminalrc
index a2256b7..cf74883 100644
--- a/modules/xfce/etc/xdg/xfce4/terminal/terminalrc
+++ b/modules/xfce/etc/xdg/xfce4/terminal/terminalrc
@@ -1,3 +1,4 @@
 [Configuration]
 BackgroundMode=TERMINAL_BACKGROUND_TRANSPARENT
 BackgroundDarkness=0.850000
+FontName=Monospace 8
diff --git a/modules/xfce/etc/xdg/xfce4/xfconf/xfce-perchannel-xml/xfwm4.xml b/modules/xfce/etc/xdg/xfce4/xfconf/xfce-perchannel-xml/xfwm4.xml
index e1206fd..86720cf 100644
--- a/modules/xfce/etc/xdg/xfce4/xfconf/xfce-perchannel-xml/xfwm4.xml
+++ b/modules/xfce/etc/xdg/xfce4/xfconf/xfce-perchannel-xml/xfwm4.xml
@@ -3,5 +3,6 @@
 <channel name="xfwm4" version="1.0">
   <property name="general" type="empty">
     <property name="workspace_count" type="int" value="1" />
+    <property name="title_font" type="string" value="Sans Bold 8" />
   </property>
 </channel>
diff --git a/modules/xfce/etc/xdg/xfce4/xfconf/xfce-perchannel-xml/xsettings.xml b/modules/xfce/etc/xdg/xfce4/xfconf/xfce-perchannel-xml/xsettings.xml
index 5b74cf3..bd43732 100644
--- a/modules/xfce/etc/xdg/xfce4/xfconf/xfce-perchannel-xml/xsettings.xml
+++ b/modules/xfce/etc/xdg/xfce4/xfconf/xfce-perchannel-xml/xsettings.xml
@@ -18,7 +18,7 @@
     <property name="EnableInputFeedbackSounds" type="bool" value="false"/>
   </property>
   <property name="Xft" type="empty">
-    <property name="DPI" type="empty"/>
+    <!-- property name="DPI" type="empty"/ -->
     <property name="Antialias" type="int" value="-1"/>
     <property name="Hinting" type="int" value="-1"/>
     <property name="HintStyle" type="string" value="hintnone"/>
@@ -28,7 +28,7 @@
   <property name="Gtk" type="empty">
     <property name="CanChangeAccels" type="bool" value="false"/>
     <property name="ColorPalette" type="string" value="black:white:gray50:red:purple:blue:light blue:green:yellow:orange:lavender:brown:goldenrod4:dodger blue:pink:light green:gray10:gray30:gray75:gray90"/>
-    <property name="FontName" type="string" value="Sans 10"/>
+    <property name="FontName" type="string" value="Sans 8"/>
     <property name="IconSizes" type="string" value=""/>
     <property name="KeyThemeName" type="string" value=""/>
     <property name="ToolbarStyle" type="string" value="icons"/>