- form.setText("Rights");
- FillLayout mainLayout = new FillLayout();
- form.getBody().setLayout(mainLayout);
+ form.setText(JcrExplorerPlugin
+ .getMessage("nodeRightsManagementPageTitle"));
+ FillLayout layout = new FillLayout();
+ layout.marginHeight = 5;
+ layout.marginWidth = 5;
+ form.getBody().setLayout(layout);