Clean JCR Ui Explorer editor

[lgpl/argeo-commons.git] / server / plugins / org.argeo.jcr.ui.explorer / src / main / java / org / argeo / jcr / ui / explorer / editors / ChildNodesPage.java

diff --git a/server/plugins/org.argeo.jcr.ui.explorer/src/main/java/org/argeo/jcr/ui/explorer/editors/ChildNodesPage.java b/server/plugins/org.argeo.jcr.ui.explorer/src/main/java/org/argeo/jcr/ui/explorer/editors/ChildNodesPage.java
index 6f4a2347e64ec4452492b2f9aed692bba79f6d87..0a6b561ff0022137c64da8bd40db8f729a1adc1b 100644 (file)
--- a/server/plugins/org.argeo.jcr.ui.explorer/src/main/java/org/argeo/jcr/ui/explorer/editors/ChildNodesPage.java
+++ b/server/plugins/org.argeo.jcr.ui.explorer/src/main/java/org/argeo/jcr/ui/explorer/editors/ChildNodesPage.java
@@ -40,9 +40,10 @@ public class ChildNodesPage extends FormPage {
        protected void createFormContent(IManagedForm managedForm) {
                try {
                        ScrolledForm form = managedForm.getForm();
+                       form.setText(JcrExplorerPlugin.getMessage("childNodesPageTitle"));
                        Composite body = form.getBody();
                        GridLayout twt = new GridLayout(1, false);
-                       twt.marginWidth = twt.marginHeight = 0;
+                       twt.marginWidth = twt.marginHeight = 5;
                        body.setLayout(twt);
                        if (!currentNode.hasNodes()) {
                                managedForm.getToolkit().createLabel(body,