search

scala-ide / scala-worksheet

A Scala IDE plugin for a multi-line REPL (called worksheet)
96 stars 24 forks source link

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

Open dotta opened 11 years ago

dotta commented 11 years ago

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 commented 11 years ago

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 commented 11 years ago

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 commented 11 years ago

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

dotta commented 11 years ago

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