Resource Menu

posted by Jourdain Sebastien at Nov 18, 2006 4:05 PM
Sorry I forgot to add the font size in the configuration panel. But I think you should be able to configure and change the font style (size+type+...) by redefining the styled document styles like I should do in the style configuration panel.

When I will have more time I will try to give a look...

posted by Nishio Hirokazu at Nov 15, 2006 6:11 AM
How can I make larger letters on the console? I may need to touch "JTextPane cmdUI" instance in JyConsole class, but it is "private".