Re: [ jEdit-users ] HelpViewer font

[Slava P. <sl...@je...>]

I think this might be possible by changing properties in Swing's
UIManager; try the Look and Feel Properties macro.

On Mon, 2004-01-05 at 05:17, Nitsan Vardi wrote:
> Is there a way to change the font of the HelpViewer window?
> The help index/search pane uses a system-defined font, but the help
> contents pane displays the HTML text as generated, and it becomes very
> small on hi-resolution monitors.
> Basically, what I need is the option, found on most HTML browsers, to
> display fonts upscaled by some percentage.
> 
> Kind regards
> Nitsan Vardi
> 
> 
> 
> 
> -------------------------------------------------------
> This SF.net email is sponsored by: IBM Linux Tutorials.
> Become an expert in LINUX or just sharpen your skills.  Sign up for IBM's
> Free Linux Tutorials.  Learn everything from the bash shell to sys admin.
> Click now! http://ads.osdn.com/?ad_id=1278&alloc_id=3371&op=click
-- 
Slava Pestov