Use the Scala editor preference to chage the worksheet editor's defaults

[dotta]

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.

[skyluc]

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.

[dotta]

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.

[skyluc]

It works for me. I'll show you later :)

[dotta]

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