Menus Font Size - Howto
 

Hello,
I am very happy to have found this fantastic software. I work as a java trainer and I am looking forward to start using it for my students at the end of the first course to introduce them to the OO paradigm.

At my school we use a predefined virtual machine based on CentOS 6.x for all developer subjects, thus I installed Alice3 into it. I installed the 1 Gb file called Alice3Installer-Complete-3.1.92.0.0-linux.sh and no error has shown in the process. CentOS is using Gnome2 and the installation process did not create an Alice3 icon neither in the Desktop nor in the menus. But this is not an issue... the problem is I am unable to use this software, Alice3, because ALL the words in menus and graphic elements (and think they are made with Swing) are tooooooooo small. We use high screen resolutions (1920x1200, 1920x1080) and that can not be changed. My students are young people, late teens and some in their twenties and have the eyes to look at small fonts, but I simply can not. In this condition I am no able to use this software.

I tried to add some -Dswing options to the 'java -ae ....' call within the alice3.sh shellscript, but it has no effect.

So please, can anyone ellaborate an explanation on how can I increase the font size of menus and, in fact, of all components or elements used in the Alice3 UI ???

TIA

Menu Font Size
 

Thank you for your interest in Alice, and your posting... I am checking with the development team, and will get back to you...

Thank you djslater107. I'll be waiting. Thanks again.

Hello again,

one month later I am still willing to have this usability design error solved.

Any news?

It is frustrating wishing to use a software but cannot do it due to a usability defect.

Link to a screencap where you can see how small text fonts are: [URL="https://lh6.googleusercontent.com/-F6Bt2n3RvOY/U34B0kqneBI/AAAAAAAACqE/w80siazGOiM/w1317-h788-no/alice3_1920x1200.png"]here[/URL]

Menu Font Size
 

I have heard form the development team... They have been wrestling with new features in the gallery. They thought they would be able to wrap that up very soon and the menu font size issue is next on their list.

Thank you for your patience...

Thanks for your feedback.
As soon as there are some news about this issue please let me know, or tell me where could I get them from, just to follow it up from time to time. Thanks

Font size issue
 

We have checked in code that allows for command line font scaling via:

-Duimanager.fontScale=2.0

or whatever the user wants.

this will go out in our next release (hopefully this week).

[QUOTE=djslater107;54477]
this will go out in our next release (hopefully this week).[/QUOTE]

Hello!

Is that the download available at downloads page, the 3.1.92.0.0, the release which includes the font scaling you mention?

Thanks!

very interesting about it..thanks for help..

Ok
 

Looking forward to seeing something before the Holidays.

Thanks to the development team.