Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 451524

Summary: [Forms] Some missing pixels truncated in bottom of Form Section Content
Product: [RT] RAP Reporter: Arnaud MERGEY <a_mergey>
Component: WorkbenchAssignee: Project Inbox <rap-inbox>
Status: RESOLVED FIXED QA Contact:
Severity: normal    
Priority: P3    
Version: 3.0   
Target Milestone: 3.0 M4   
Hardware: All   
OS: All   
Whiteboard:
Attachments:
Description Flags
screenshot none

Description Arnaud MERGEY CLA 2014-11-14 06:23:38 EST
Created attachment 248663 [details]
screenshot

Screenshot attached, bottom of form is truncated (1 or 2 pixels) since RAP 3.0


It is probably something similar to https://bugs.eclipse.org/bugs/show_bug.cgi?id=445620

Form Section is not themeable and getBorderWidth is overriden in Section widget

// Fix 1px border introduced by the titlebar rounded border
public int getBorderWidth() {
return ( getExpansionStyle() & TITLE_BAR ) != 0 ? 1 : super.getBorderWidth();
}
// ENDRAP [if]

Since  The Display#map method is now using Control#getBorder instead Control#getBorderWidth for correct bounds mapping. Section.getBorder should probably be overriden also

To workaround it with a GridLayout I just had to add 2 pixels as bottom margin
Comment 1 Ivan Furnadjiev CLA 2014-11-14 08:34:04 EST
Arnaud, could you check if the fix proposed here (https://git.eclipse.org/r/#/c/36477/) solves your problem?
Comment 2 Ivan Furnadjiev CLA 2014-11-18 04:49:42 EST
Fixed with change https://git.eclipse.org/r/#/c/36477/.