| Summary: | [Viewers] Line number ruler should use editor font and same color as in text editors | ||||||
|---|---|---|---|---|---|---|---|
| Product: | [Eclipse Project] Platform | Reporter: | Markus Keller <markus.kell.r> | ||||
| Component: | Compare | Assignee: | Michael Valenta <Michael.Valenta> | ||||
| Status: | VERIFIED FIXED | QA Contact: | |||||
| Severity: | normal | ||||||
| Priority: | P3 | ||||||
| Version: | 3.3 | ||||||
| Target Milestone: | 3.3 RC1 | ||||||
| Hardware: | PC | ||||||
| OS: | Windows XP | ||||||
| Whiteboard: | |||||||
| Attachments: |
|
||||||
|
Description
Markus Keller
Assuming that everything is properly exposed in the text editor API, this should be straight forward. Created attachment 66210 [details]
Patch to Compare
Markus, could you review this patch?
Looks good, except that the line number ruler is not relayouted after the font has changed => width does not adapt to new font size initially => problem resolved when editor is resized Patch released with re-layout on font change added. Verified in I20070522-0010 |