Community
Participate
Working Groups
I20111025-2000 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.
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.