| Summary: | [preferences] Errors/Warnings page no matches message should not be indented | ||||||
|---|---|---|---|---|---|---|---|
| Product: | [Eclipse Project] JDT | Reporter: | Dani Megert <daniel_megert> | ||||
| Component: | UI | Assignee: | Deepak Azad <deepakazad> | ||||
| Status: | VERIFIED FIXED | QA Contact: | |||||
| Severity: | normal | ||||||
| Priority: | P3 | CC: | daniel_megert | ||||
| Version: | 3.7 | Flags: | daniel_megert:
review+
|
||||
| Target Milestone: | 3.7 RC1 | ||||||
| Hardware: | All | ||||||
| OS: | All | ||||||
| Whiteboard: | |||||||
| Attachments: |
|
||||||
|
Description
Dani Megert
This affects a new 3.7 feature. +1 for RC1. Created attachment 194667 [details]
fix
Simple, one line fix. Dani, ok to commit ?
Please also change the string: (no option matches the filter) ==> No option matches the filter. Fixed in HEAD. Verified in I20110505-0800. |