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 / NodeVersionHistoryPage.java

diff --git a/server/plugins/org.argeo.jcr.ui.explorer/src/main/java/org/argeo/jcr/ui/explorer/editors/NodeVersionHistoryPage.java b/server/plugins/org.argeo.jcr.ui.explorer/src/main/java/org/argeo/jcr/ui/explorer/editors/NodeVersionHistoryPage.java
index 5b5e6ff1edec335e790f8d22e93f3e93516f8b89..dc2c2eaca8978abcb8946fcae859610a3588c49c 100644 (file)
--- a/server/plugins/org.argeo.jcr.ui.explorer/src/main/java/org/argeo/jcr/ui/explorer/editors/NodeVersionHistoryPage.java
+++ b/server/plugins/org.argeo.jcr.ui.explorer/src/main/java/org/argeo/jcr/ui/explorer/editors/NodeVersionHistoryPage.java
@@ -73,6 +73,8 @@ public class NodeVersionHistoryPage extends FormPage implements
 
        protected void createFormContent(IManagedForm managedForm) {
                ScrolledForm form = managedForm.getForm();
+               form.setText(JcrExplorerPlugin
+                               .getMessage("nodeVersionHistoryPageTitle"));
                tk = managedForm.getToolkit();
                GridLayout twt = new GridLayout(1, false);
                twt.marginWidth = twt.marginHeight = 5;