Bug 562510

Summary:	When editor section is splitted, Min / Max buttons are tiny
Product:	[Eclipse Project] Platform	Reporter:	Lars Vogel <Lars.Vogel>
Component:	UI	Assignee:	Platform-UI-Inbox <Platform-UI-Inbox>
Status:	NEW ---	QA Contact:
Severity:	normal
Priority:	P3	CC:	Lars.Vogel, mmarchand, philippe.dul, rolf.theunissen
Version:	4.14
Target Milestone:	---
Hardware:	PC
OS:	Linux
See Also:	https://bugs.eclipse.org/bugs/show_bug.cgi?id=495230
Whiteboard:

Description Lars Vogel

2020-04-27 04:44:09 EDT

See https://bugs.eclipse.org/bugs/attachment.cgi?id=282575

If we drag an editor and split the editor areas, the min/ max icon get tiny.

Comment 1 Rolf Theunissen

2020-04-27 09:03:57 EDT

Do you see this on Linux or on Windows?

At least I see this on Windows, and when you hover with the mouse over the icons they become big (nowadays). I thinks this was by design.

Have a look at Bug 389833 and Bug 495230.

Comment 2 Lars Vogel

2020-04-28 10:26:23 EDT

I don't think this is on purpose, most likely a limitation what the tab renderer can do.

Comment 3 Philippe Dul

2020-04-28 11:01:10 EDT

Hi, 

I don't know why, but it was done on purpose years ago, 
in the CSS e4_basetyle and e4-dark_tabstyle:

#org-eclipse-ui-editorss {
   swt-tab-height: 8px;
}

Regards
Philippe

Comment 4 Rolf Theunissen

2020-04-28 11:16:13 EDT

The height of this tab is reduced to stop wasting space in the screen, see Bug 495230. Fix that one, and then probably this one is fixed as well.

Comment 5 Lars Vogel

2020-06-16 04:46:17 EDT

I think it would be better if the icon is displayed in the normal size in the last stack (right hand-side).