1 /*******************************************************************************
\r
2 * Copyright (c) 2007, 2010 Association for Decentralized Information Management
\r
3 * in Industry THTH ry.
\r
4 * All rights reserved. This program and the accompanying materials
\r
5 * are made available under the terms of the Eclipse Public License v1.0
\r
6 * which accompanies this distribution, and is available at
\r
7 * http://www.eclipse.org/legal/epl-v10.html
\r
10 * VTT Technical Research Centre of Finland - initial API and implementation
\r
11 *******************************************************************************/
\r
12 package org.simantics.modeling.ui.diagram;
\r
14 import org.eclipse.jface.dialogs.Dialog;
\r
15 import org.eclipse.jface.layout.GridDataFactory;
\r
16 import org.eclipse.jface.layout.GridLayoutFactory;
\r
17 import org.eclipse.swt.SWT;
\r
18 import org.eclipse.swt.events.ModifyEvent;
\r
19 import org.eclipse.swt.events.ModifyListener;
\r
20 import org.eclipse.swt.events.SelectionAdapter;
\r
21 import org.eclipse.swt.events.SelectionEvent;
\r
22 import org.eclipse.swt.widgets.Button;
\r
23 import org.eclipse.swt.widgets.Composite;
\r
24 import org.eclipse.swt.widgets.Control;
\r
25 import org.eclipse.swt.widgets.Display;
\r
26 import org.eclipse.swt.widgets.Group;
\r
27 import org.eclipse.swt.widgets.Label;
\r
28 import org.eclipse.swt.widgets.Shell;
\r
29 import org.eclipse.swt.widgets.Text;
\r
30 import org.simantics.db.ReadGraph;
\r
31 import org.simantics.db.Resource;
\r
32 import org.simantics.db.Session;
\r
33 import org.simantics.db.WriteGraph;
\r
34 import org.simantics.db.common.request.IndexRoot;
\r
35 import org.simantics.db.common.request.ReadRequest;
\r
36 import org.simantics.db.common.request.WriteRequest;
\r
37 import org.simantics.db.exception.DatabaseException;
\r
38 import org.simantics.diagram.synchronization.graph.DiagramGraphUtil;
\r
39 import org.simantics.modeling.ui.preferences.DiagramPreferences;
\r
40 import org.simantics.scl.commands.Commands;
\r
41 import org.simantics.ui.SimanticsUI;
\r
42 import org.simantics.utils.page.PageDesc;
\r
45 * A dialog for changing page settings
\r
47 * @author Marko Luukkainen <marko.luukkainen@vtt.fi>
\r
49 public class PageSettingsDialog extends Dialog {
\r
51 private final Session session;
\r
52 private final Resource diagramResource;
\r
54 private PageDescComposite pdc;
\r
55 private Text gridSizeText;
\r
56 private Button showBordersButton;
\r
57 private Button showMarginsButton;
\r
59 private PageDesc pageDesc;
\r
60 private double gridSize;
\r
61 private double lastGridSize;
\r
62 private boolean borders = false;
\r
63 private boolean margins = false;
\r
66 public PageSettingsDialog(Resource diagramResource, Shell parentShell) {
\r
68 this.session = SimanticsUI.getSession();
\r
69 this.diagramResource = diagramResource;
\r
74 protected void configureShell(Shell newShell) {
\r
75 super.configureShell(newShell);
\r
76 newShell.setText("Page Settings");
\r
80 protected Control createDialogArea(Composite parent) {
\r
81 Composite composite = (Composite) super.createDialogArea(parent);
\r
83 Group group = new Group(composite, SWT.NONE);
\r
84 group.setText("Grid Snapping");
\r
85 GridDataFactory.fillDefaults().grab(true, false).span(1, 1).applyTo(group);
\r
86 Label label = new Label(group, SWT.NONE);
\r
87 label.setText("Grid size (mm)");
\r
88 gridSizeText = new Text(group, SWT.SINGLE|SWT.BORDER);
\r
89 GridLayoutFactory.fillDefaults().numColumns(2).equalWidth(false).extendedMargins(12, 12, 12, 12).spacing(5, 4).applyTo(group);
\r
90 GridDataFactory.fillDefaults().grab(true, false).span(1, 1).applyTo(gridSizeText);
\r
92 Group pageGroup = new Group(composite, SWT.NONE);
\r
93 pageGroup.setText("Page size");
\r
94 pdc = new PageDescComposite(pageGroup, SWT.NONE);
\r
95 GridDataFactory.fillDefaults().grab(true, false).span(1, 1).applyTo(pageGroup);
\r
96 GridLayoutFactory.fillDefaults().numColumns(1).equalWidth(false).extendedMargins(12, 12, 12, 12).spacing(5, 4).applyTo(pageGroup);
\r
97 GridDataFactory.fillDefaults().grab(true, true).span(1, 1).applyTo(pdc);
\r
99 Group displayGroup = new Group(composite, SWT.NONE);
\r
100 displayGroup.setText("Display");
\r
101 showBordersButton = new Button(displayGroup, SWT.CHECK);
\r
102 showBordersButton.setText("Show page borders");
\r
103 showMarginsButton = new Button(displayGroup, SWT.CHECK);
\r
104 showMarginsButton.setText("Show margins");
\r
105 GridLayoutFactory.fillDefaults().numColumns(1).equalWidth(false).extendedMargins(12, 12, 12, 12).spacing(5, 4).applyTo(displayGroup);
\r
107 GridDataFactory.fillDefaults().grab(true, false).span(1, 1).applyTo(displayGroup);
\r
109 gridSizeText.addModifyListener(new ModifyListener() {
\r
111 public void modifyText(ModifyEvent e) {
\r
112 String text = ((Text)e.widget).getText();
\r
114 gridSize = Double.parseDouble(text);
\r
115 if (gridSize < 1e-3 || gridSize > 1e3) {
\r
116 gridSize = lastGridSize;
\r
117 setGridSizeValid(false);
\r
119 setGridSizeValid(true);
\r
121 } catch (NumberFormatException err) {
\r
122 gridSize = lastGridSize;
\r
123 setGridSizeValid(false);
\r
127 void setGridSizeValid(boolean valid) {
\r
129 gridSizeText.setBackground(null);
\r
130 gridSizeText.setForeground(null);
\r
132 //gridSizeText.setBackground(gridSizeText.getDisplay().getSystemColor(SWT.COLOR_RED));
\r
133 gridSizeText.setForeground(gridSizeText.getDisplay().getSystemColor(SWT.COLOR_RED));
\r
138 showBordersButton.addSelectionListener(new SelectionAdapter() {
\r
140 public void widgetSelected(SelectionEvent e) {
\r
141 borders = ((Button)e.widget).getSelection();
\r
145 showMarginsButton.addSelectionListener(new SelectionAdapter() {
\r
147 public void widgetSelected(SelectionEvent e) {
\r
148 margins = ((Button)e.widget).getSelection();
\r
157 public void applySettings() {
\r
158 if (pdc.getPageDesc() != null)
\r
159 pageDesc = pdc.getPageDesc();
\r
160 session.markUndoPoint();
\r
161 session.asyncRequest(new WriteRequest() {
\r
163 public void perform(WriteGraph graph) throws DatabaseException {
\r
164 Resource model = graph.syncRequest(new IndexRoot(diagramResource));
\r
165 Commands.get(graph, "Simantics/PageSettings/setPageDesc")
\r
166 .execute(graph, model, diagramResource, pageDesc.toRepr());
\r
167 Commands.get(graph, "Simantics/PageSettings/setGridSize")
\r
168 .execute(graph, model, diagramResource, gridSize);
\r
169 Commands.get(graph, "Simantics/PageSettings/setPageBordersVisible")
\r
170 .execute(graph, model, diagramResource, borders);
\r
171 Commands.get(graph, "Simantics/PageSettings/setMarginsVisible")
\r
172 .execute(graph, model, diagramResource, margins);
\r
177 private void loadValues() {
\r
178 session.asyncRequest(new ReadRequest() {
\r
181 public void run(ReadGraph graph) throws DatabaseException {
\r
182 pageDesc = DiagramGraphUtil.getPageDesc(graph, diagramResource, PageDesc.DEFAULT);
\r
183 gridSize = DiagramGraphUtil.getGridSize(graph, diagramResource, DiagramPreferences.DEFAULT_SNAP_GRID_SIZE);
\r
184 lastGridSize = gridSize;
\r
185 borders = DiagramGraphUtil.isPageBordersVisible(graph, diagramResource);
\r
186 margins = DiagramGraphUtil.isMarginsVisible(graph, diagramResource);
\r
187 Display.getDefault().asyncExec(new Runnable() {
\r
189 public void run() {
\r
197 private void applyValues() {
\r
198 pdc.setPageDesc(pageDesc);
\r
199 gridSizeText.setText(Double.toString(gridSize));
\r
200 showBordersButton.setSelection(borders);
\r
201 showMarginsButton.setSelection(margins);
\r