Open GoogleCodeExporter opened 9 years ago
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
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
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
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
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
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
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
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
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
Original issue reported on code.google.com by
anderson...@gmail.com
on 30 Jul 2011 at 7:31