| Summary: | [Compatibility] Part description should be hidden if there is no text | ||
|---|---|---|---|
| Product: | [Eclipse Project] Platform | Reporter: | Remy Suen <remy.suen> |
| Component: | UI | Assignee: | Remy Suen <remy.suen> |
| Status: | VERIFIED FIXED | QA Contact: | Eric Moffatt <emoffatt> |
| Severity: | normal | ||
| Priority: | P3 | ||
| Version: | 4.2 | ||
| Target Milestone: | 4.2 M5 | ||
| Hardware: | All | ||
| OS: | All | ||
| Whiteboard: | |||
|
Description
Remy Suen
Going to try and take a look at this. (In reply to comment #0) > 1. Open the 'Properties' view. > 2. Ctrl+F10 > New Properties View > 3. Go back to the first one. > 4. Unpin it. > 5. There is still space for the label in the view. Resizing the view does not > recover the lost space. Don't have to spawn a new one. Dunno why I thought you did. 1. Open the 'Properties' view. 2. Ctrl+F10 > Pin to Selection 3. Ctrl+F10 > Pin to Selection 4. Same problem. Fix pushed to master. http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=2a19a8f20efd19ca493434701de80a9c331cefef Verified with I20120123-2200 on Windows 7. |