annotate src/de/mpg/mpiwg/itgroup/digilib/plugin/editors/DigilibLinkEditorPart.java @ 20:2f47c136b8a6

added property view
author dwinter
date Tue, 04 Jan 2011 16:35:41 +0100
parents e63a64652f4d
children 643fa1daa70c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1 package de.mpg.mpiwg.itgroup.digilib.plugin.editors;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
2
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
3
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
4 import info.textgrid.lab.linkeditor.mip.gui.ImagePanel;
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
5
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
6 import java.io.IOException;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
7 import java.net.URL;
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
8 import java.util.ArrayList;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
9 import java.util.List;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
10 import java.util.Observable;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
11 import java.util.Observer;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
12
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
13 import org.apache.axis2.databinding.types.soapencoding.Array;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
14 import org.eclipse.core.resources.IResourceChangeEvent;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
15 import org.eclipse.core.resources.IResourceChangeListener;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
16 import org.eclipse.core.runtime.CoreException;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
17 import org.eclipse.core.runtime.IProgressMonitor;
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
18 import org.eclipse.jface.viewers.ISelection;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
19 import org.eclipse.jface.viewers.ISelectionChangedListener;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
20 import org.eclipse.jface.viewers.ISelectionProvider;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
21 import org.eclipse.jface.viewers.SelectionChangedEvent;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
22 import org.eclipse.jface.viewers.StructuredSelection;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
23 import org.eclipse.swt.SWT;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
24 import org.eclipse.swt.custom.ScrolledComposite;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
25 import org.eclipse.swt.graphics.Cursor;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
26 import org.eclipse.swt.layout.GridLayout;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
27 import org.eclipse.swt.widgets.Composite;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
28 import org.eclipse.ui.IEditorInput;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
29 import org.eclipse.ui.IEditorSite;
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
30 import org.eclipse.ui.IPageLayout;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
31 import org.eclipse.ui.IViewPart;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
32 import org.eclipse.ui.IWorkbenchPage;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
33 import org.eclipse.ui.IWorkbenchPartSite;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
34 import org.eclipse.ui.PartInitException;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
35 import org.eclipse.ui.part.EditorPart;
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
36 import org.eclipse.ui.views.properties.IPropertySheetPage;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
37 import org.eclipse.ui.views.properties.PropertySheet;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
38 import org.eclipse.ui.views.properties.PropertySheetPage;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
39 import org.jdom.JDOMException;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
40
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
41 import de.mpg.mpiwg.itgroup.digilib.digiImage.DigiImage;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
42 import de.mpg.mpiwg.itgroup.digilib.digiImage.DigiImageController;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
43 import de.mpg.mpiwg.itgroup.digilib.digiImage.DigiImageParameter;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
44 import de.mpg.mpiwg.itgroup.digilib.digiImage.DigiNav;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
45 import de.mpg.mpiwg.itgroup.indexMeta.Utils.ParseIndexMeta;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
46
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
47 /**
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
48 * Displays an image with digilib an allows image manipulation on the image.
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
49 *
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
50 * @author dwinter
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
51 *
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
52 */
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
53 public class DigilibLinkEditorPart extends EditorPart implements IResourceChangeListener,Observer{
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
54
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
55 private Composite mainComposite;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
56 private ScrolledComposite sc;
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
57 //private ISelection selection;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
58 //private List<ISelectionChangedListener> selectionChangeListener = new ArrayList<ISelectionChangedListener>();
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
59 private Object propertySheetPage;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
60
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
61 public void resourceChanged(IResourceChangeEvent event) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
62 // TODO Auto-generated method stub
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
63
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
64 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
65
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
66 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
67 public void doSave(IProgressMonitor monitor) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
68 // TODO Auto-generated method stub
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
69
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
70 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
71
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
72 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
73 public void doSaveAs() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
74 // TODO Auto-generated method stub
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
75
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
76 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
77
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
78 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
79 public void init(IEditorSite site, IEditorInput input)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
80 throws PartInitException {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
81 setInput(input);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
82 setSite(site);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
83
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
84 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
85
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
86 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
87 public boolean isDirty() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
88 // TODO Auto-generated method stub
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
89 return false;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
90 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
91
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
92 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
93 public boolean isSaveAsAllowed() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
94 // TODO Auto-generated method stub
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
95 return false;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
96 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
97
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
98 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
99 public void createPartControl(Composite frame) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
100
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
101 sc = new ScrolledComposite(frame, SWT.H_SCROLL | SWT.V_SCROLL);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
102 mainComposite = new Composite(sc,SWT.None);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
103
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
104 GridLayout imageLayout = new GridLayout(2,false);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
105 mainComposite.setLayout(imageLayout);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
106 sc.setContent(mainComposite);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
107 //sc.setMinSize(400, 400);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
108
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
109
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
110
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
111 DigilibLinkEditorInput input= (DigilibLinkEditorInput) getEditorInput();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
112 String path="";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
113 if (input.getType()==DigilibLinkEditorInput.INDEX_META){
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
114 ParseIndexMeta im;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
115 try {
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
116 im = new ParseIndexMeta(input.getFile());
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
117 } catch (JDOMException e) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
118 // TODO Auto-generated catch block
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
119 e.printStackTrace();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
120 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
121 } catch (IOException e) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
122 // TODO Auto-generated catch block
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
123 e.printStackTrace();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
124 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
125 } catch (CoreException e) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
126 // TODO Auto-generated catch block
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
127 e.printStackTrace();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
128 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
129 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
130 try {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
131 path=im.getImagePath();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
132 } catch (JDOMException e) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
133 // TODO Auto-generated catch block
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
134 e.printStackTrace();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
135 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
136 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
137 if (path==null)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
138 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
139 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
140 //TODO: issue warning that type cannot be solved.
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
141 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
142 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
143
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
144
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
145 path=path.replace("/mpiwg/online", "");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
146 DigiImageParameter dp = new DigiImageParameter(path);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
147 dp.setDh(500);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
148 dp.setDw(500);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
149
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
150
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
151 DigiImage digiImage = new DigiImage(mainComposite, SWT.BORDER, dp);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
152 DigiImageController digiImageController = new DigiImageController(digiImage);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
153 //imageComp.setBackgroundImage(img);
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
154 DigiNav digiNav = new DigiNav(mainComposite,SWT.NONE,digiImageController);
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
155
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
156 getSite().setSelectionProvider(digiImage);
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
157 digiImage.setSelection(new StructuredSelection(digiImage));
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
158
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
159 sc.setMinSize(mainComposite.computeSize(SWT.DEFAULT, SWT.DEFAULT));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
160 sc.setExpandHorizontal(true);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
161 sc.setExpandVertical(true);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
162 sc.layout();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
163 DigilibLinkEditorObservable.INSTANCE.addObserver(this);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
164
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
165 //setSelection( digiImage);
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
166 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
167
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
168 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
169 public void setFocus() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
170 // TODO Auto-generated method stub
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
171
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
172 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
173
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
174 public void update(Observable o, Object arg) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
175 if (DigiImage.class.isInstance(arg)){
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
176 mainComposite.pack();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
177 sc.setMinSize(mainComposite.computeSize(SWT.DEFAULT, SWT.DEFAULT));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
178 sc.layout();
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
179
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
180
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
181 //refresh the property view.
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
182 IWorkbenchPage page = getSite().getPage();
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
183
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
184 IViewPart view = page.findView(IPageLayout.ID_PROP_SHEET);
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
185
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
186 ((PropertySheetPage)((PropertySheet)view).getCurrentPage()).refresh();
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
187 //sc.pack();
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
188
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
189 } else if (Integer.class.isInstance(arg)){
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
190 int b = (Integer) arg;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
191
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
192 Cursor waitCursor = new Cursor(mainComposite.getDisplay(),b);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
193 mainComposite.setCursor(waitCursor);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
194
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
195
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
196 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
197
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
198
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
199 }
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
200
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
201 // public void addSelectionChangedListener(ISelectionChangedListener listener) {
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
202 // selectionChangeListener.add(listener);
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
203 //
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
204 // }
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
205 //
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
206 // public ISelection getSelection() {
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
207 // // TODO Auto-generated method stub
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
208 // return selection;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
209 // }
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
210 //
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
211 // public void removeSelectionChangedListener(
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
212 // ISelectionChangedListener listener) {
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
213 // selectionChangeListener.remove(listener);
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
214 //
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
215 // }
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
216 //
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
217 // public void setSelection(ISelection selection) {
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
218 // this.selection=selection;
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
219 // for (ISelectionChangedListener sl: selectionChangeListener){
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
220 //
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
221 // SelectionChangedEvent event = new SelectionChangedEvent(this, selection);
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
222 // sl.selectionChanged(event);
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
223 // }
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
224 //
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
225 // }
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
226
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
227
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
228
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
229 }