| Summary: | ColorsAndFontsPreferencePage marks color definitions that default to another definition with "not available in the current theme" | ||||||
|---|---|---|---|---|---|---|---|
| Product: | [Eclipse Project] Platform | Reporter: | Andreas Mayer <anma-e> | ||||
| Component: | UI | Assignee: | Andreas Mayer <anma-e> | ||||
| Status: | RESOLVED FIXED | QA Contact: | |||||
| Severity: | normal | ||||||
| Priority: | P3 | CC: | Lars.Vogel, loskutov | ||||
| Version: | 4.4 | Flags: | loskutov:
review+
Lars.Vogel: review+ |
||||
| Target Milestone: | 4.6 RC1 | ||||||
| Hardware: | All | ||||||
| OS: | All | ||||||
| See Also: |
https://git.eclipse.org/r/72438 https://bugs.eclipse.org/bugs/show_bug.cgi?id=355946 https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=19ed239d114d195c2fa0637936fc1e0184bded1d |
||||||
| Whiteboard: | |||||||
| Attachments: |
|
||||||
|
Description
Andreas Mayer
New Gerrit change created: https://git.eclipse.org/r/72431 Thanks for the patch! Is this a regression in 4.6? New Gerrit change created: https://git.eclipse.org/r/72438 (In reply to Eclipse Genie from comment #3) > New Gerrit change created: https://git.eclipse.org/r/72438 Sorry, but I've mixed up commits for two different bugs. So I#ve abandoned my first change and created a new one. (In reply to Andrey Loskutov from comment #2) > Thanks for the patch! Is this a regression in 4.6? It seems that the bug was introduced end of February 2014 with changes for #355946. Prior to that date, the preference page didn't check whether a color was available in the current theme. Andreas, I've slightly changed the patch (no logic change, just style). Are you OK with that? Lars, I need a second committer +1 on this change. Do you have time for a review? (In reply to Andrey Loskutov from comment #6) > Andreas, I've slightly changed the patch (no logic change, just style). Are > you OK with that? I'm OK with that, but nevertheless rearranged the condition to make it even clearer. (In reply to Andrey Loskutov from comment #6) > Lars, I need a second committer +1 on this change. Do you have time for a > review? Looks fine. Gerrit change https://git.eclipse.org/r/72438 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=19ed239d114d195c2fa0637936fc1e0184bded1d |