| Summary: | Use less margins in Perspective Switcher | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Product: | [Eclipse Project] Platform | Reporter: | Lars Vogel <Lars.Vogel> | ||||||
| Component: | UI | Assignee: | Matthias Becker <ma.becker> | ||||||
| Status: | RESOLVED FIXED | QA Contact: | |||||||
| Severity: | normal | ||||||||
| Priority: | P3 | CC: | Lars.Vogel, ma.becker | ||||||
| Version: | 4.13 | ||||||||
| Target Milestone: | 4.14 M1 | ||||||||
| Hardware: | PC | ||||||||
| OS: | Linux | ||||||||
| See Also: |
https://git.eclipse.org/r/150070 https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=b4e6d0c48034da31f723caf2989a1f9cb4e9dac7 |
||||||||
| Whiteboard: | |||||||||
| Bug Depends on: | |||||||||
| Bug Blocks: | 551494 | ||||||||
| Attachments: |
|
||||||||
|
Description
Lars Vogel
New Gerrit change created: https://git.eclipse.org/r/150070 Created attachment 280011 [details]
Screenshot
On top is the perspective switcher with the old margins, on the bottom with reduced margins.
Created attachment 280020 [details]
I find the right margin should be bigger
The rightmost item is too close to the border of the window.
(In reply to Matthias Becker from comment #3) > Created attachment 280020 [details] > I find the right margin should be bigger > > The rightmost item is too close to the border of the window. Can you update the Gerrit which your preferred value? As long as its smaller, I'm +1 for the change. :-) (In reply to Lars Vogel from comment #4) > (In reply to Matthias Becker from comment #3) > > Created attachment 280020 [details] > > I find the right margin should be bigger > > > > The rightmost item is too close to the border of the window. > > Can you update the Gerrit which your preferred value? As long as its > smaller, I'm +1 for the change. :-) See patchset 2 Gerrit change https://git.eclipse.org/r/150070 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=b4e6d0c48034da31f723caf2989a1f9cb4e9dac7 |