Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 364854

Summary: Editor preference page
Product: [ECD] Orion Reporter: Felipe Heidrich <eclipse.felipe>
Component: ClientAssignee: Anton McConville <antonm>
Status: RESOLVED FIXED QA Contact:
Severity: normal    
Priority: P3 CC: antonm, simon_kaegi
Version: 0.3   
Target Milestone: 0.5 M2   
Hardware: PC   
OS: Windows 7   
Whiteboard:

Description Felipe Heidrich CLA 2011-11-25 11:42:29 EST
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.
Comment 1 John Arthorne CLA 2011-11-25 13:16:38 EST
Looks like a duplicate of bug 349442?
Comment 2 Felipe Heidrich CLA 2011-11-28 09:24:10 EST
(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.
Comment 3 Felipe Heidrich CLA 2011-12-15 14:37:29 EST
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.
Comment 5 John Arthorne CLA 2012-04-20 16:38:47 EDT
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.
Comment 6 Simon Kaegi CLA 2012-06-08 15:37:09 EDT
Fixed at the high-level -- we might need smaller more focused bugs to look at details