Back to bug 456635
Who | When | What | Removed | Added |
---|---|---|---|---|
evermind | 2015-01-04 21:44:47 EST | CC | evermind | |
daniel_megert | 2015-01-12 05:53:26 EST | CC | daniel_megert | |
Component | UI | Text | ||
Assignee | jdt-ui-inbox | jdt-text-inbox | ||
Summary | Separate styles for different task priorities | [syntax highlighting] Separate styles for different task priorities | ||
Status | NEW | ASSIGNED | ||
zanetu | 2016-08-03 18:19:29 EDT | CC | zanetu |
Back to bug 456635