On 08/31/2015 01:12 PM, camille wrote:
Some precisions in light of your message: - I am using XFCE
Sorry I use KDE so I'm not familiar with GNOME and XFCE.
- I changed an Xft parameter "DPI" to set it to 180, which improves most applications rendering. Dunno if it has an impact on java swing base font size though.
Yes, it seems to have an effect on Java Swing base font size. Thanks for the information.
And thanks for the configuration tips, indeed it improved things somewhat. Camille.
-- XMLmind XML Editor Support List xmleditor-support@xmlmind.com http://www.xmlmind.com/mailman/listinfo/xmleditor-support