]> gerrit.simantics Code Review - simantics/platform.git/blob
7dac7a0b09b3c20c5b4553fe3305277305eca972
[simantics/platform.git] /
1 package org.simantics.modeling.ui.diagram.monitor;
2
3 import java.util.Arrays;
4
5 import org.eclipse.core.runtime.Platform;
6 import org.eclipse.jface.layout.GridDataFactory;
7 import org.eclipse.jface.layout.GridLayoutFactory;
8 import org.eclipse.jface.resource.ImageDescriptor;
9 import org.eclipse.jface.resource.JFaceResources;
10 import org.eclipse.jface.resource.LocalResourceManager;
11 import org.eclipse.swt.SWT;
12 import org.eclipse.swt.events.SelectionEvent;
13 import org.eclipse.swt.events.SelectionListener;
14 import org.eclipse.swt.graphics.Image;
15 import org.eclipse.swt.graphics.RGB;
16 import org.eclipse.swt.widgets.ColorDialog;
17 import org.eclipse.swt.widgets.Composite;
18 import org.eclipse.swt.widgets.Control;
19 import org.eclipse.swt.widgets.Display;
20 import org.eclipse.ui.IWorkbenchSite;
21 import org.osgi.framework.Bundle;
22 import org.simantics.Simantics;
23 import org.simantics.browsing.ui.swt.widgets.Button;
24 import org.simantics.browsing.ui.swt.widgets.Combo;
25 import org.simantics.browsing.ui.swt.widgets.Label;
26 import org.simantics.browsing.ui.swt.widgets.impl.ReadFactoryImpl;
27 import org.simantics.browsing.ui.swt.widgets.impl.SelectionListenerImpl;
28 import org.simantics.browsing.ui.swt.widgets.impl.Widget;
29 import org.simantics.browsing.ui.swt.widgets.impl.WidgetSupport;
30 import org.simantics.common.color.Color;
31 import org.simantics.databoard.Bindings;
32 import org.simantics.databoard.util.ObjectUtils;
33 import org.simantics.db.ReadGraph;
34 import org.simantics.db.Resource;
35 import org.simantics.db.WriteGraph;
36 import org.simantics.db.common.CommentMetadata;
37 import org.simantics.db.common.request.PossibleIndexRoot;
38 import org.simantics.db.common.request.PossibleObjectWithType;
39 import org.simantics.db.common.request.WriteRequest;
40 import org.simantics.db.exception.DatabaseException;
41 import org.simantics.db.management.ISessionContext;
42 import org.simantics.diagram.stubs.DiagramResource;
43 import org.simantics.diagram.stubs.G2DResource;
44 import org.simantics.layer0.Layer0;
45 import org.simantics.operation.Layer0X;
46 import org.simantics.selectionview.ConfigurationComposite;
47 import org.simantics.ui.colors.Colors;
48 import org.simantics.ui.utils.ResourceAdaptionUtils;
49 import org.simantics.utils.datastructures.Triple;
50 import org.simantics.utils.ui.BundleUtils;
51 import org.simantics.utils.ui.ErrorLogger;
52 import org.simantics.utils.ui.SWTUtils;
53 import org.simantics.utils.ui.gfx.ColorImageDescriptor;
54 import org.simantics.utils.ui.workbench.WorkbenchUtils;
55
56 public class MonitorComposite extends ConfigurationComposite {
57
58     private static final String DATA_CURRENT_COLOR = "COLOR";
59
60     public void create(final Composite body, IWorkbenchSite site, final ISessionContext context, final WidgetSupport support) {
61         final Display display = body.getDisplay();
62
63         body.setBackground(display.getSystemColor(SWT.COLOR_WHITE));
64
65         Composite buttonComposite = new Composite(body, SWT.NONE);
66         buttonComposite.setBackground(display.getSystemColor(SWT.COLOR_WHITE));
67         GridDataFactory.fillDefaults().span(2, 1).grab(true, false).applyTo(buttonComposite);
68         GridLayoutFactory.fillDefaults().equalWidth(false).numColumns(4).extendedMargins(5,5,5,5).applyTo(buttonComposite);
69
70         LocalResourceManager resourceManager = new LocalResourceManager(JFaceResources.getResources(), buttonComposite);
71         support.setParameter(WidgetSupport.RESOURCE_MANAGER, resourceManager);
72
73         Label templateHeader = new Label(buttonComposite, support, 0);
74         templateHeader.setText("Template");
75         //templateHeader.setFont(smallFont);
76         templateHeader.setBackground(display.getSystemColor(SWT.COLOR_WHITE));
77         GridDataFactory.fillDefaults().grab(false, false).span(1, 1).align(SWT.LEFT, SWT.CENTER).applyTo(templateHeader.getWidget());
78
79         Combo templateCombo = new Combo(buttonComposite, support, SWT.NONE | SWT.READ_ONLY);
80         templateCombo.setItemFactory(new AvailableTemplateFactory());
81         templateCombo.setSelectionFactory(new CurrentTemplateFactory());
82         templateCombo.addModifyListener(new TemplateModifier());
83         GridDataFactory.fillDefaults().grab(true, false).applyTo(templateCombo.getWidget());
84
85         Button setDefaultButton = new Button(buttonComposite, support, SWT.NONE | SWT.READ_ONLY);
86         setDefaultButton.setText("Set As Default");
87         setDefaultButton.setTooltipText("Set As Default for Newly Created Monitors");
88         setDefaultButton.addSelectionListener(new SelectionListenerImpl<Resource>(context) {
89             @Override
90             public void apply(WriteGraph graph, Resource monitor) throws DatabaseException {
91                 graph.markUndoPoint();
92                 Layer0X L0X = Layer0X.getInstance(graph);
93                 DiagramResource DIA = DiagramResource.getInstance(graph);
94                 Resource root = graph.syncRequest(new PossibleIndexRoot(monitor));
95                 Resource currentTemplate = graph.getPossibleObject(monitor, L0X.ObtainsProperty);
96                 if (root != null && !graph.isImmutable(root) && currentTemplate != null) {
97                     graph.deny(root, DIA.HasDefaultMonitorTemplate);
98                     graph.claim(root, DIA.HasDefaultMonitorTemplate, currentTemplate);
99                 }
100             }
101         });
102         GridDataFactory.fillDefaults().grab(false, false).applyTo(setDefaultButton.getWidget());
103
104         Button resetButton = new Button(buttonComposite, support, SWT.NONE | SWT.READ_ONLY);
105         resetButton.setText("Reset Local Changes");
106         resetButton.addSelectionListener(new SelectionListenerImpl<Resource>(context) {
107             @Override
108             public void apply(WriteGraph graph, Resource monitor) throws DatabaseException {
109                 graph.markUndoPoint();
110                 Layer0X L0X = Layer0X.getInstance(graph);
111                 DiagramResource DIA = DiagramResource.getInstance(graph);
112                 if(graph.hasStatement(monitor, DIA.HasFont)) graph.deny(monitor, DIA.HasFont);
113                 if(graph.hasStatement(monitor, DIA.HasFormatter)) graph.deny(monitor, DIA.HasFormatter);
114                 if(graph.hasStatement(monitor, DIA.HasColor)) graph.deny(monitor, DIA.HasColor);
115                 if(graph.hasStatement(monitor, L0X.HasExpression)) graph.deny(monitor, L0X.HasExpression);
116             }
117         });
118
119         GridDataFactory.fillDefaults().grab(false, false).applyTo(resetButton.getWidget());
120
121         Label fontHeader = new Label(buttonComposite, support, 0);
122         fontHeader.setText("Font Family");
123         //fontHeader.setFont(smallFont);
124         fontHeader.setBackground(display.getSystemColor(SWT.COLOR_WHITE));
125         GridDataFactory.fillDefaults().grab(false, false).span(1, 1).align(SWT.LEFT, SWT.CENTER).applyTo(fontHeader.getWidget());
126
127         Combo fontCombo = new Combo(buttonComposite, support, SWT.NONE | SWT.READ_ONLY);
128         fontCombo.setItemFactory2(new AvailableFontFactory());
129         fontCombo.setSelectionFactory(new CurrentFontFactory());
130         fontCombo.addModifyListener(new FontModifier());
131         GridDataFactory.fillDefaults().grab(true, false).span(3,1).applyTo(fontCombo.getWidget());
132
133         Label sizeHeader = new Label(buttonComposite, support, 0);
134         sizeHeader.setText("Font Size");
135         //sizeHeader.setFont(smallFont);
136         sizeHeader.setBackground(display.getSystemColor(SWT.COLOR_WHITE));
137         GridDataFactory.fillDefaults().grab(false, false).span(1, 1).align(SWT.LEFT, SWT.CENTER).applyTo(sizeHeader.getWidget());
138
139         Combo sizeCombo = new Combo(buttonComposite, support, SWT.NONE | SWT.READ_ONLY);
140         sizeCombo.setItemFactory2(new AvailableFontSizeFactory());
141         sizeCombo.setSelectionFactory(new CurrentFontSizeFactory());
142         sizeCombo.addModifyListener(new FontSizeModifier());
143         GridDataFactory.fillDefaults().grab(false, false).span(3,1).minSize(50, 0).applyTo(sizeCombo.getWidget());
144
145         Label formatterHeader = new Label(buttonComposite, support, 0);
146         formatterHeader.setText("Formatting");
147         //formatterHeader.setFont(smallFont);
148         formatterHeader.setBackground(display.getSystemColor(SWT.COLOR_WHITE));
149         GridDataFactory.fillDefaults().grab(false, false).span(1, 1).align(SWT.LEFT, SWT.CENTER).applyTo(formatterHeader.getWidget());
150
151         Combo formatCombo = new Combo(buttonComposite, support, SWT.NONE | SWT.READ_ONLY);
152         formatCombo.setItemFactory(new AvailableFormatFactory());
153         formatCombo.setSelectionFactory(new CurrentFormatFactory());
154         formatCombo.addModifyListener(new FormatModifier());
155         GridDataFactory.fillDefaults().grab(true, false).span(3,1).applyTo(formatCombo.getWidget());
156
157         Composite rowComposite = new Composite(buttonComposite, SWT.NONE);
158         rowComposite.setBackground(display.getSystemColor(SWT.COLOR_WHITE));
159         GridDataFactory.fillDefaults().span(3, 1).grab(true, false).applyTo(rowComposite);
160         GridLayoutFactory.fillDefaults().equalWidth(false).numColumns(4).extendedMargins(5,5,5,5).applyTo(rowComposite);
161
162         Label alignHeader = new Label(rowComposite, support, 0);
163         alignHeader.setText("Alignment");
164         //alignHeader.setFont(smallFont);
165         alignHeader.setBackground(display.getSystemColor(SWT.COLOR_WHITE));
166         GridDataFactory.fillDefaults().grab(false, false).span(1, 1).align(SWT.LEFT, SWT.CENTER).applyTo(alignHeader.getWidget());
167
168         Bundle iconBundle = Platform.getBundle("com.famfamfam.silk");
169
170         Composite alignComposite = new Composite(rowComposite, SWT.NONE);
171         alignComposite.setBackground(display.getSystemColor(SWT.COLOR_WHITE));
172         GridDataFactory.fillDefaults().span(1, 1).grab(false, false).applyTo(alignComposite);
173         GridLayoutFactory.fillDefaults().equalWidth(false).numColumns(4).extendedMargins(5,5,5,5).applyTo(alignComposite);
174
175         Button leadButton = new Button(alignComposite, support, SWT.TOGGLE);
176         leadButton.setTooltipText("Left Alignment");
177         leadButton.setImage((Image) resourceManager.get(BundleUtils.getImageDescriptorFromBundle(iconBundle, "icons/text_align_left.png")));
178         leadButton.setSelectionFactory(new AlignmentSelectedFactory(G2DResource.URIs.Alignment_Leading));
179         leadButton.addSelectionListener(new AlignmentSelectionListener(context, G2DResource.URIs.Alignment_Leading));
180
181         Button centerButton = new Button(alignComposite, support, SWT.TOGGLE);
182         centerButton.setTooltipText("Center Alignment");
183         centerButton.setImage((Image) resourceManager.get(BundleUtils.getImageDescriptorFromBundle(iconBundle, "icons/text_align_center.png")));
184         centerButton.setSelectionFactory(new AlignmentSelectedFactory(G2DResource.URIs.Alignment_Center));
185         centerButton.addSelectionListener(new AlignmentSelectionListener(context, G2DResource.URIs.Alignment_Center));
186
187         Button trailButton = new Button(alignComposite, support, SWT.TOGGLE);
188         trailButton.setTooltipText("Right Alignment");
189         trailButton.setImage((Image) resourceManager.get(BundleUtils.getImageDescriptorFromBundle(iconBundle, "icons/text_align_right.png")));
190         trailButton.setSelectionFactory(new AlignmentSelectedFactory(G2DResource.URIs.Alignment_Trailing));
191         trailButton.addSelectionListener(new AlignmentSelectionListener(context, G2DResource.URIs.Alignment_Trailing));
192
193         Label colorHeader = new Label(rowComposite, support, 0);
194         colorHeader.setText("Color");
195         colorHeader.setBackground(display.getSystemColor(SWT.COLOR_WHITE));
196         GridDataFactory.fillDefaults().indent(20, 0).grab(false, false).span(1, 1).align(SWT.LEFT, SWT.CENTER).applyTo(colorHeader.getWidget());
197
198         Button colorButton = new Button(rowComposite, support, SWT.PUSH);
199         colorButton.setImageFactory( new CurrentColorImageFactory(colorButton.getWidget(), DATA_CURRENT_COLOR) );
200         GridDataFactory.fillDefaults().indent(0, 0).grab(false, false).span(1, 1).align(SWT.LEFT, SWT.CENTER).applyTo(colorButton.getWidget());
201         StyleEditWidget colorWidget = new StyleEditWidget(colorButton.getWidget());
202         colorButton.addSelectionListener(colorWidget);
203         support.register(colorWidget);
204     }
205
206     static class StyleEditWidget implements Widget, SelectionListener {
207
208         Control control;
209         Object input;
210
211         public StyleEditWidget(Control control) {
212             this.control = control;
213         }
214
215         @Override
216         public void widgetSelected(SelectionEvent e) {
217             final Resource[] resources = ResourceAdaptionUtils.toResources(input);
218             if (resources.length != 0) {
219                 ColorDialog dialog = new ColorDialog(WorkbenchUtils.getActiveWorkbenchWindowShell(), SWT.NONE);
220                 dialog.setText("Set Monitor Color");
221                 Color oldColor = (Color) control.getData(DATA_CURRENT_COLOR);
222                 if (oldColor != null) {
223                     RGB oldRgb = Colors.rgb(oldColor);
224                     dialog.setRGB(oldRgb);
225                 }
226                 RGB rgb = dialog.open();
227                 if (rgb != null) {
228                     setColor(resources, rgb);
229                 }
230             }
231         }
232
233         @Override
234         public void widgetDefaultSelected(SelectionEvent e) {
235             widgetSelected(e);
236         }
237
238         @Override
239         public void setInput(ISessionContext context, Object input) {
240             this.input = input;
241         }
242
243     }
244
245     static class AlignmentSelectedFactory extends ReadFactoryImpl<Resource, Boolean> {
246         private String alignmentURI;
247
248         public AlignmentSelectedFactory(String alignmentURI) {
249             this.alignmentURI = alignmentURI;
250         }
251
252         @Override
253         public Object getIdentity(Object inputContents) {
254             return new Triple<Object, Object, Class<?>>(inputContents, alignmentURI, getClass());
255         }
256
257         @Override
258         public Boolean perform(ReadGraph graph, Resource monitor) throws DatabaseException {
259             G2DResource G2D = G2DResource.getInstance(graph);
260             Resource expectedAlignment = graph.getResource(alignmentURI);
261             Resource alignment = graph.getPossibleObject(monitor, G2D.HasHorizontalAlignment);
262             return ObjectUtils.objectEquals(expectedAlignment, alignment);
263         }
264     }
265
266     static class AlignmentSelectionListener extends SelectionListenerImpl<Resource> {
267         private String alignmentURI;
268
269         public AlignmentSelectionListener(ISessionContext context, String alignmentURI) {
270             super(context);
271             this.alignmentURI = alignmentURI;
272         }
273
274         @Override
275         public void apply(WriteGraph graph, Resource monitor) throws DatabaseException {
276             graph.markUndoPoint();
277             G2DResource G2D = G2DResource.getInstance(graph);
278             Resource alignment = graph.getResource(alignmentURI);
279             graph.deny(monitor, G2D.HasHorizontalAlignment);
280             graph.claim(monitor, G2D.HasHorizontalAlignment, null, alignment);
281         }
282     }
283
284     private static void setColor(final Resource[] resources, final RGB rgb) {
285         Color c = Colors.irgb(rgb);
286         final double[] color = new double[] { c.getR(), c.getG(), c.getB() };
287         try {
288             Simantics.sync(new WriteRequest() {
289                 @Override
290                 public void perform(WriteGraph graph) throws DatabaseException {
291                     graph.markUndoPoint();
292                     Layer0 L0 = Layer0.getInstance(graph);
293                     DiagramResource DIA = DiagramResource.getInstance(graph);
294                     for (Resource r : resources) {
295                         Resource realizedColor = graph.syncRequest(new PossibleObjectWithType(r, DIA.HasColor, DIA.RealizedColor));
296                         if (realizedColor == null) {
297                             realizedColor = graph.newResource();
298                             graph.claim(realizedColor, L0.InstanceOf, null, DIA.RealizedColor);
299                             graph.claim(r, DIA.HasColor, realizedColor);
300                         }
301                         graph.claimLiteral(realizedColor, DIA.RealizedColor_HasRGB, L0.DoubleArray, color, Bindings.DOUBLE_ARRAY);
302                     }
303                     CommentMetadata cm = graph.getMetadata(CommentMetadata.class);
304                     graph.addMetadata(cm.add("Set color to " + rgb + " for resources " + Arrays.toString(resources)));
305                 }
306             });
307         } catch (DatabaseException e) {
308             ErrorLogger.defaultLogError(e);
309         }
310     }
311
312     private static class CurrentColorImageFactory extends ReadFactoryImpl<Resource, ImageDescriptor> {
313
314         Control control;
315         String colorKey;
316
317         public CurrentColorImageFactory(Control control, String colorKey) {
318             this.control = control;
319             this.colorKey = colorKey;
320         }
321
322         @Override
323         public ImageDescriptor perform(ReadGraph graph, Resource monitor) throws DatabaseException {
324             DiagramResource DIA = DiagramResource.getInstance(graph);
325             Color c = graph.getPossibleRelatedAdapter(monitor, DIA.HasColor, Color.class);
326             if (c == null)
327                  c = new org.simantics.datatypes.literal.RGB.Integer(0, 0, 0);
328             final Color color = c;
329             if (control != null) {
330                 SWTUtils.asyncExec(control, new Runnable() {
331                     @Override
332                     public void run() {
333                         if (!control.isDisposed())
334                             control.setData(colorKey, color);
335                     }
336                 });
337             }
338             RGB rgb = Colors.rgb(color);
339             return new ColorImageDescriptor(rgb.red, rgb.green, rgb.blue, 16, 16, false);
340         }
341
342     }
343
344 }