Sonarlint property page layout should have zero margin

SonarLint Eclipse
,
1

The top level composite returned from
SonarLintProjectPropertyPage.createContent(Composite parent) should have zero margin, according to the documentation of PreferencePage.createContent(Composite parent):

Any subclass returning a Composite object whose Layout
has default margins (for example, a GridLayout) are expected to
set the margins of this Layout to 0 pixels.

This is not the case, as can be seen in this layout spy screenshot:

sonarlint_margin
sonarlint_margin621×549 17.7 KB

2

Update, ticket created: https://jira.sonarsource.com/browse/SLE-330