As of now, to change the look & feel of a Scala editor (e.g., font size), you go under Eclipse Preferences > General > Appearance > Colors and Fonts > Basic (which changes the look & feel of all editors). This is not very discoverable, as you would expect to find a Scala preference.
When this ticket is fixed in the upstream project, it would be good to hook the Worksheet editor preference to the Scala editor preference.
I'll have to double check, but I'm pretty sure it should follow the 'default text font' from preferences > general > color and fonts.
It is not a Java editor, so it doesn't follow the Java preferences.
I believe I've tried that as well, with no luck. Either ways, I think it would be very convenient to have a Scala Worksheet Editor entry.
It works for me. I'll show you later :)
Damn :-) Alright, this works if you go under Eclipse Preferences > General > Appearance > Colors and Fonts > Basic. Though, I'd still like to have a Scala preference, which is why I've opened an enhancement ticket https://www.assembla.com/spaces/scala-ide/tickets/1001931
Eclipse Preferences > General > Appearance > Colors and Fonts > Basic