re: defect #4 adjust font bug

[GoogleCodeExporter]

I recommend examining the jEdit code to see how to fix the scalalab font adjust 
bug (defect #4).

Font adjustment works in the version of jEdit in scalalab2901.zip (I'm running 
scalalab and jEdit on kubuntu 11.04).

To change the menu bar fonts in jEdit, select the Utilities menu, then choose 
Utilities/Global Options/jEdit/Appearance.

To change the font used in the jEdit canvas, choose Utilities/Global 
Options/jEdit/Text.

Please provide a similar font adjust feature in scalalab which changes ALL 
fonts.

Original issue reported on code.google.com by anderson...@gmail.com on 30 Jul 2011 at 7:31

[GoogleCodeExporter]

I provided font adjustment facilities in ScalaLab291 and I hope that they work 
well.
Please notify me of any problems.

Stergios

Original comment by st...@teikav.edu.gr on 8 Aug 2011 at 12:37

[GoogleCodeExporter]

My test revealed one problem.  I tested font adjustment in the latest version 
of scalalab using kubuntu 11.04.  The "Configuration/Adjust fonts in Scalalab 
Menus" command changes the font on the "Recent Files" menu item only.  No other 
menu fonts are changed.

The following new commands work correctly - thank you!
Adjust Fonts of Interpreter Pane
Adjust Fonts of Scalalab Console
Adjust Fonts of Output Console

Original comment by anderson...@gmail.com on 9 Aug 2011 at 5:41

[GoogleCodeExporter]

Please also allow font adjustment for all help, including the pop-up help menus 
activated by a right mouse click.

Original comment by anderson...@gmail.com on 9 Aug 2011 at 11:34

[GoogleCodeExporter]

I updated ScalaLab in order to have configuration options and for other fonts, 
as buttons, JTree components, JList etc.

However, these font configurations apply from the next ScalaLab working session 
i.e. an exit and restart is required.

Original comment by st...@teikav.edu.gr on 14 Aug 2011 at 1:05

[GoogleCodeExporter]

Thanks for adding the additional font adjustments.  Please also add font 
adjustment to:
1. all help menus
2. the scalaLab editor.  The current behavior is that when you left click in 
the scalaLab editor it reverts to the original font size.

As before, I did my testing using kubuntu 11.04 linux.

Original comment by anderson...@gmail.com on 17 Aug 2011 at 1:01

[GoogleCodeExporter]

Starting from ScalaLab291RC4 the ScalaLab Editor is removed and replaced by a 
better editor based on the jsyntaxpane, that I currently improve. 
This editor uses the same configurable fonts as the main ScalaInterpreterPane 
fonts, since it is actually a ScalaInterpreterPane with additional menu options 
that aim for user convenience (I have few such at this point).

.. for configurable fonts at help pages, the JEditorPane seems to ignore the 
setFont() method when displays HTML, I'll try to find some other way!

Original comment by st...@teikav.edu.gr on 24 Aug 2011 at 2:26

[GoogleCodeExporter]

Please fix font adjustment on the help pages.  Right now the help text font is 
too small to read; it's like having no help at all.

I appreciate it.

Dan

Original comment by anderson...@gmail.com on 28 Aug 2011 at 11:17

[GoogleCodeExporter]

I implemented a font magnification feature for html help text, perhaps it suits 
your needs, we will see and for better solutions.

Stergios

Original comment by st...@teikav.edu.gr on 30 Aug 2011 at 3:57

[GoogleCodeExporter]

At the new ScalaLab, 
the added configurable option to call the System Browser to display the HTML 
help, seems to work better. The JEditorPane component operates rather 
unpredictably when displaying HTML. Therefore, I think that the default of 
calling the system browser in new ScalaLabs versions, makes an improvement.

Stergios

Original comment by st...@teikav.edu.gr on 2 Sep 2011 at 12:54