On Sun, Mar 29, 2009 at 4:17 PM, Hans-Peter Diettrich
<drdiettri...@aol.com> wrote:
>
> On KDE e.g. Firefox only allows to adjust the font size, and the font
> sizes in HTML documents are application dependent, not expressed in
> points. The text in the title bar etc. are not affected by such an
> adjustment.
====================
If none of the above or variations thereof work, as a last resort, you
can use the brute force method of forcing Mozilla to use a particular
DPI directly. Edit your user.js file and add:
user_pref("layout.css.dpi", 108);
You may change the DPI number to any resolution you like. Setting it
to 0 will restore Mozilla's use of the X Server DPI. Like prefs.js,
user.js is a plain text file in your profile directory. If it doesn't
exist, create it with your choice of text editor.
As an alternative to editing user.js, you can change layout.css.dpi by entering
about:config
in the urlbar, right clicking the current value, and changing it to
any number you like.
======================
For more information on correctly setting your DPI system wide.
http://www.mozilla.org/unix/dpi.html
Regards,
- Graeme -
_______________________________________________
fpGUI - a cross-platform Free Pascal GUI toolkit
http://opensoft.homeip.net/fpgui/
_______________________________________________
Lazarus mailing list
Lazarus@lazarus.freepascal.org
http://www.lazarus.freepascal.org/mailman/listinfo/lazarus
