Setting IDE font size in JDeveloper 10.1.3 EA
Is there a way to change default font size in JDeveloper? I am not asking about code editor (I know that), but about menus, title bars, labels, etc.
I have large screen (1400x1050) and I set my default system font larger. Old JDeveloper (10.1.2) obeyed this, but new is still using default font size.
I am using Windows XP with SP2.