Bug 575373

Summary: Less lines/border in the compare editor widgets
Product: [Eclipse Project] Platform Reporter: Mickael Istria <mistria>
Component: CompareAssignee: Platform-Compare-Inbox <platform-compare-inbox>
Status: NEW --- QA Contact:
Severity: enhancement    
Priority: P3    
Version: 4.21   
Target Milestone: ---   
Hardware: All   
OS: All   
See Also: https://git.eclipse.org/r/c/platform/eclipse.platform.team/+/183971
Whiteboard:
Attachments:
Description Flags
Before patch (current master)
none
After patch none

Description Mickael Istria CLA 2021-08-12 05:35:41 EDT
The compare editor seems heavy. One reason is that it has plenty of widgets showing borders, resulting in more lines drawn, a few pixels wasted; while the value of this border on readability seems arguable.
The compare editor should be reviewed to reduce the amount of lines it shows, and hence feel a bit lighter.
Comment 1 Eclipse Genie CLA 2021-08-12 15:24:47 EDT
New Gerrit change created: https://git.eclipse.org/r/c/platform/eclipse.platform.team/+/183971
Comment 2 Mickael Istria CLA 2021-08-12 15:26:49 EDT
Created attachment 286927 [details]
Before patch (current master)
Comment 3 Mickael Istria CLA 2021-08-12 15:27:57 EDT
Created attachment 286928 [details]
After patch

Those screenshot do show current proposal gets rid of a few heavy lines and save 2 pixels in width/height.
Some extra lines could still be removed (in further patches).
Comment 4 Mickael Istria CLA 2021-08-16 06:46:30 EDT
One issue I see here is that the TextViewers themselves are delegated to extensions (eg Java or other editors), but those extensions usually don't set the SWT.BORDER styles for the widgets and there is no good way to forward the style from editor to viewers.
So it's a bit tricky to remove some of the lines while emulating a border.