Community
Participate
Working Groups
We should have a preference page for the editor: some of the options that should be available (easy): tab size expand tab folding line number caret line drag drop etc Appearance (harder): Implementation wise the appearance is defined by the CSS, thus changing the appearance means changing the CSS (adding or customizing a theme, see Bug 334212). That said simple use cases like setting font size and font name could have a simpler UI (something easier than changing/creating a theme). An advance option should also be available, to present all css classes. The user can edit the styles to customize keywords/annotation/etc and save it as a new theme.
Looks like a duplicate of bug 349442?
(In reply to comment #1) > Looks like a duplicate of bug 349442? I think it's worth to have this (editor specific) in a separated bug.
See https://bugs.eclipse.org/bugs/show_bug.cgi?id=349096#c11 Maybe the line delimiter can also be defined in preferences page. Ideally line delimiter should be the same across all the committer of a project, maybe this is a shared 'project preference'. Likewise, tab size and expand tab (and others) should be shared across the project. See https://bugs.eclipse.org/bugs/show_bug.cgi?id=365216#c6 Some of the jslint options could also be preferences. Again, maybe at the project level.
I've released support on the TextView side: http://git.eclipse.org/c/orion/org.eclipse.orion.client.git/commit/?id=f66f9cfa23c7c10483ced5fbccdbb51a533caf7b http://git.eclipse.org/c/orion/org.eclipse.orion.client.git/commit/?id=e5c6e65bc02a90dcfbfdf5ad76cd60fa732528e9 http://git.eclipse.org/c/orion/org.eclipse.orion.client.git/commit/?id=e57248a44ef48d866b01981986510c663ea8f903
Anton I know you have done some of these but here are some other editor preferences we can expose. I know tab size and expanding tabs are two popular ones.
Fixed at the high-level -- we might need smaller more focused bugs to look at details
