[prev in list] [next in list] [prev in thread] [next in thread]
List: jedit-users
Subject: [ jEdit-users ] GUI tuning (i.e. menu font size)
From: Robert Schwenn <Robert () Schwenn-R ! de>
Date: 2008-10-19 20:03:35
Message-ID: 48FB9297.60107 () Schwenn-R ! de
[Download RAW message or body]
[Attachment #2 (text/html)]
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
</head>
<body bgcolor="#ffffff" text="#000000">
<big><tt><font size="-1"><big>Hi,<br>
I'm using jEdit<big> under Windows XP with the Windows L&F. So
jEdit uses Windows' </big></big></font></tt></big><big><tt><font
size="-1"><big><big>global </big></big></font></tt></big><big><tt><font
size="-1"><big><big> settings for size of scroll bars and menus.<br>
<br>
Now I just updated to Java 1.6.0_10 and tried the Nimbus L&F. It's
nice, but I'd like to change the size of the menu font because the
L&F ignores the Windows settings. Is there a way to do this for
jEdit or maybe global for the JVM?<br>
<br>
Robert<br>
</big></big></font></tt></big>
</body>
</html>
-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
--
-----------------------------------------------
jEdit Users' List
jEdit-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-users
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic