improved DPI scaling for several applications

diff --git a/modules/display_ws5inch.mk b/modules/display_ws5inch.mk
index c7698c786a3f66f5880137a3f88656341801efb8..7b3e941bdc4ec5d0558eab5017a11730bf318951 100644 (file)
--- 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 a2256b7000899245f01c99dd2dca647ce37a842c..cf748837e259a1e2f5b782cb7b7a240360f22616 100644 (file)
--- 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 e1206fda29b65c9fc9224bfa92cb1f79234df40e..86720cf273515bdee5ffea863db0015c86f81201 100644 (file)
--- 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 5b74cf30c9d486c58506e601a6e0e4b95a6a5423..bd437325a74a76b4a91b29d6f04d5cf750870f53 100644 (file)
--- 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"/>