-package org.simantics.document.swt.core.widget;\r
-\r
-import java.util.TreeMap;\r
-\r
-import org.eclipse.jface.layout.GridDataFactory;\r
-import org.eclipse.jface.layout.GridLayoutFactory;\r
-import org.eclipse.swt.SWT;\r
-import org.eclipse.swt.custom.ScrolledComposite;\r
-import org.eclipse.swt.events.ControlEvent;\r
-import org.eclipse.swt.events.ControlListener;\r
-import org.eclipse.swt.widgets.Composite;\r
-import org.eclipse.swt.widgets.Control;\r
-import org.eclipse.swt.widgets.Display;\r
-import org.simantics.document.server.JSONObject;\r
-import org.simantics.document.server.client.WidgetData;\r
-import org.simantics.document.swt.core.SWTDocument;\r
-import org.simantics.document.swt.core.SWTViews;\r
-import org.simantics.document.swt.core.base.HasWidgetsWidgetManager;\r
-import org.simantics.document.swt.core.base.ScrolledCompositeContent;\r
-import org.simantics.document.swt.core.base.WidgetContainer;\r
-\r
-public class ScrolledCompositeWidget extends HasWidgetsWidgetManager<ScrolledCompositeContent> {\r
- \r
- @Override\r
- protected void doUpdateProperties(SWTDocument document, ScrolledCompositeContent control, JSONObject object) {\r
- }\r
-\r
- @Override\r
- protected ScrolledCompositeContent doCreateControl(SWTDocument document, Composite parent, JSONObject object) {\r
- \r
- ScrolledComposite explorersScroll = new ScrolledComposite(parent, SWT.V_SCROLL | SWT.BORDER);\r
- explorersScroll.setBackground(Display.getCurrent().getSystemColor(\r
- SWT.COLOR_WHITE));\r
- explorersScroll.setLayout(GridLayoutFactory.fillDefaults()\r
- .margins(0, 0).spacing(0, 0).create());\r
- GridDataFactory.fillDefaults().grab(true, true).span(1, 1)\r
- .applyTo(explorersScroll);\r
-\r
- ScrolledCompositeContent explorers = new ScrolledCompositeContent(explorersScroll, SWT.NONE);\r
-\r
- explorersScroll.addControlListener(new ControlListener() {\r
-\r
- @Override\r
- public void controlResized(ControlEvent e) {\r
- SWTViews.notifyScrolledComposite(explorers);\r
- }\r
-\r
- @Override\r
- public void controlMoved(ControlEvent e) {\r
- SWTViews.notifyScrolledComposite(explorers);\r
- }\r
- });\r
-\r
- explorers.setBackground(Display.getCurrent().getSystemColor(SWT.COLOR_WHITE));\r
- \r
- // Make sure that exploders are initially visible\r
- explorers.setSize(10, 300);\r
- explorers.setLayout(GridLayoutFactory.fillDefaults().margins(0, 0).numColumns(1)\r
- .spacing(0, 0).create());\r
-\r
- explorersScroll.setMinSize(100, 100);\r
- explorersScroll.setContent(explorers);\r
-\r
- return explorers;\r
-\r
- }\r
- \r
- @Override\r
- public void updateChildren(SWTDocument document, JSONObject object, WidgetContainer widget, TreeMap<String, WidgetData> childMap) {\r
- \r
- super.updateChildren(document, object, widget, childMap);\r
-\r
- for(WidgetData c : childMap.values()) {\r
-\r
- WidgetContainer con = (WidgetContainer)c.widget;\r
- Control child = con.getControl();\r
- GridDataFactory.fillDefaults().grab(true, false).applyTo(child);\r
- \r
- }\r
- \r
- }\r
- \r
-}\r
+package org.simantics.document.swt.core.widget;
+
+import java.util.TreeMap;
+
+import org.eclipse.jface.layout.GridDataFactory;
+import org.eclipse.jface.layout.GridLayoutFactory;
+import org.eclipse.swt.SWT;
+import org.eclipse.swt.custom.ScrolledComposite;
+import org.eclipse.swt.events.ControlEvent;
+import org.eclipse.swt.events.ControlListener;
+import org.eclipse.swt.widgets.Composite;
+import org.eclipse.swt.widgets.Control;
+import org.eclipse.swt.widgets.Display;
+import org.simantics.document.server.JSONObject;
+import org.simantics.document.server.client.WidgetData;
+import org.simantics.document.swt.core.SWTDocument;
+import org.simantics.document.swt.core.SWTViews;
+import org.simantics.document.swt.core.base.HasWidgetsWidgetManager;
+import org.simantics.document.swt.core.base.ScrolledCompositeContent;
+import org.simantics.document.swt.core.base.WidgetContainer;
+
+public class ScrolledCompositeWidget extends HasWidgetsWidgetManager<ScrolledCompositeContent> {
+
+ @Override
+ protected void doUpdateProperties(SWTDocument document, ScrolledCompositeContent control, JSONObject object) {
+ }
+
+ @Override
+ protected ScrolledCompositeContent doCreateControl(SWTDocument document, Composite parent, JSONObject object) {
+
+ ScrolledComposite explorersScroll = new ScrolledComposite(parent, SWT.V_SCROLL | SWT.BORDER);
+ explorersScroll.setBackground(Display.getCurrent().getSystemColor(
+ SWT.COLOR_WHITE));
+ explorersScroll.setLayout(GridLayoutFactory.fillDefaults()
+ .margins(0, 0).spacing(0, 0).create());
+ GridDataFactory.fillDefaults().grab(true, true).span(1, 1)
+ .applyTo(explorersScroll);
+
+ ScrolledCompositeContent explorers = new ScrolledCompositeContent(explorersScroll, SWT.NONE);
+
+ explorersScroll.addControlListener(new ControlListener() {
+
+ @Override
+ public void controlResized(ControlEvent e) {
+ SWTViews.notifyScrolledComposite(explorers);
+ }
+
+ @Override
+ public void controlMoved(ControlEvent e) {
+ SWTViews.notifyScrolledComposite(explorers);
+ }
+ });
+
+ explorers.setBackground(Display.getCurrent().getSystemColor(SWT.COLOR_WHITE));
+
+ // Make sure that exploders are initially visible
+ explorers.setSize(10, 300);
+ explorers.setLayout(GridLayoutFactory.fillDefaults().margins(0, 0).numColumns(1)
+ .spacing(0, 0).create());
+
+ explorersScroll.setMinSize(100, 100);
+ explorersScroll.setContent(explorers);
+
+ return explorers;
+
+ }
+
+ @Override
+ public void updateChildren(SWTDocument document, JSONObject object, WidgetContainer widget, TreeMap<String, WidgetData> childMap) {
+
+ super.updateChildren(document, object, widget, childMap);
+
+ for(WidgetData c : childMap.values()) {
+
+ WidgetContainer con = (WidgetContainer)c.widget;
+ Control child = con.getControl();
+ GridDataFactory.fillDefaults().grab(true, false).applyTo(child);
+
+ }
+
+ }
+
+}