Dear all, I found out that "xrandr --dpi <n>" indeed works in the sense that xterm fonts get bigger.
However, I still do not know how to properly configure X so that a high DPI display is properly used (e.g. in Firefox without plugins). Best regards, -- Carsten Otto o...@informatik.rwth-aachen.de LuFG Informatik 2 http://verify.rwth-aachen.de/otto/ RWTH Aachen phone: +49 241 80-21211
signature.asc
Description: Digital signature
