annotate src/de/mpg/mpiwg/itgroup/digilib/plugin/editors/DigilibLinkEditorPart.java @ 27:ee955cf6c9c5

first commit
author dwinter
date Fri, 17 Jun 2011 14:24:34 +0200
parents 183c3e96f6c3
children fbcf122a6a24
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
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
4 import java.io.IOException;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
5 import java.util.Observable;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
6 import java.util.Observer;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
7
27
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
8 import org.eclipse.core.resources.IFile;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
9 import org.eclipse.core.runtime.CoreException;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
10 import org.eclipse.core.runtime.IProgressMonitor;
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
11 import org.eclipse.jface.viewers.StructuredSelection;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
12 import org.eclipse.swt.SWT;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
13 import org.eclipse.swt.custom.ScrolledComposite;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
14 import org.eclipse.swt.graphics.Cursor;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
15 import org.eclipse.swt.layout.GridLayout;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
16 import org.eclipse.swt.widgets.Composite;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
17 import org.eclipse.ui.IEditorInput;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
18 import org.eclipse.ui.IEditorSite;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
19 import org.eclipse.ui.PartInitException;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
20 import org.eclipse.ui.part.EditorPart;
25
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
21 import org.eclipse.ui.views.properties.IPropertySheetPage;
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
22 import org.eclipse.ui.views.properties.tabbed.ITabbedPropertySheetPageContributor;
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
23 import org.eclipse.ui.views.properties.tabbed.TabbedPropertySheetPage;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
24 import org.jdom.JDOMException;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
25
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
26 import de.mpg.mpiwg.itgroup.digilib.digiImage.DigiImage;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
27 import de.mpg.mpiwg.itgroup.digilib.digiImage.DigiImageController;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
28 import de.mpg.mpiwg.itgroup.digilib.digiImage.DigiImageParameter;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
29 import de.mpg.mpiwg.itgroup.digilib.digiImage.DigiNav;
27
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
30 import de.mpg.mpiwg.itgroup.digilib.digiImage.IDigiImage;
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
31 import de.mpg.mpiwg.itgroup.digilib.digiImage.TextGridDigiImage;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
32 import de.mpg.mpiwg.itgroup.indexMeta.Utils.ParseIndexMeta;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
33
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
34 /**
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
35 * Displays an image with digilib an allows image manipulation on the image.
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
36 *
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
37 * @author dwinter
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
38 *
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
39 */
25
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
40 public class DigilibLinkEditorPart extends EditorPart implements Observer, ITabbedPropertySheetPageContributor{
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
41
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
42 private Composite mainComposite;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
43 private ScrolledComposite sc;
25
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
44 private boolean isDirty;
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
45 private TabbedPropertySheetPage tp=null;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
46 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
47 public void doSave(IProgressMonitor monitor) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
48 // TODO Auto-generated method stub
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
49
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
50 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
51
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
52 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
53 public void doSaveAs() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
54 // TODO Auto-generated method stub
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
55
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
56 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
57
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
58 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
59 public void init(IEditorSite site, IEditorInput input)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
60 throws PartInitException {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
61 setInput(input);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
62 setSite(site);
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 boolean isDirty() {
25
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
68 return isDirty;
1
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 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
72 public boolean isSaveAsAllowed() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
73 // TODO Auto-generated method stub
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
74 return false;
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 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
78 public void createPartControl(Composite frame) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
79
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
80 sc = new ScrolledComposite(frame, SWT.H_SCROLL | SWT.V_SCROLL);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
81 mainComposite = new Composite(sc,SWT.None);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
82
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
83 GridLayout imageLayout = new GridLayout(2,false);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
84 mainComposite.setLayout(imageLayout);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
85 sc.setContent(mainComposite);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
86 //sc.setMinSize(400, 400);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
87
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
88
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
89
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
90 DigilibLinkEditorInput input= (DigilibLinkEditorInput) getEditorInput();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
91 String path="";
27
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
92
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
93
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
94 IDigiImage digiImage;
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
95
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
96 if (input.getType()==DigilibLinkEditorInput.INDEX_META){
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
97 ParseIndexMeta im;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
98 try {
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
99 im = new ParseIndexMeta(input.getFile());
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
100 } catch (JDOMException e) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
101 // TODO Auto-generated catch block
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
102 e.printStackTrace();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
103 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
104 } catch (IOException e) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
105 // TODO Auto-generated catch block
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
106 e.printStackTrace();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
107 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
108 } catch (CoreException e) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
109 // TODO Auto-generated catch block
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
110 e.printStackTrace();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
111 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
112 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
113 try {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
114 path=im.getImagePath();
27
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
115 path=path.replace("/mpiwg/online", "");
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
116 DigiImageParameter dp = new DigiImageParameter(path);
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
117 dp.setType(input.getType());
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
118 dp.setDh(500);
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
119 dp.setDw(500);
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
120 digiImage = new DigiImage(mainComposite, SWT.BORDER, dp);
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
121 } catch (JDOMException 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 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
126 if (path==null)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
127 return;
27
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
128 } else if (input.getType()==DigilibLinkEditorInput.TEXTGRID){
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
129 path = input.getUri().toASCIIString();
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
130 DigiImageParameter dp = new DigiImageParameter(path);
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
131 dp.setType(input.getType());
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
132 dp.setDh(500);
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
133 dp.setDw(500);
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
134 digiImage = new TextGridDigiImage(mainComposite, SWT.BORDER, dp,input.getSid());
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
135
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
136 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
137 //TODO: issue warning that type cannot be solved.
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
138 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
139 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
140
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
141
27
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
142
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
143
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
144
27
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
145
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
146 DigiImageController digiImageController = new DigiImageController(digiImage);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
147 //imageComp.setBackgroundImage(img);
24
dwinter
parents: 22
diff changeset
148 new DigiNav(mainComposite,SWT.NONE,digiImageController);
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
149
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
150 getSite().setSelectionProvider(digiImage);
25
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
151 //StructuredSelection strucSel = new StructuredSelection(digiImage);
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
152 digiImage.setSelection(new StructuredSelection(digiImage));
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
153
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
154 sc.setMinSize(mainComposite.computeSize(SWT.DEFAULT, SWT.DEFAULT));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
155 sc.setExpandHorizontal(true);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
156 sc.setExpandVertical(true);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
157 sc.layout();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
158 DigilibLinkEditorObservable.INSTANCE.addObserver(this);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
159
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
160 //setSelection( digiImage);
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
161 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
162
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
163 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
164 public void setFocus() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
165 // TODO Auto-generated method stub
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
26
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
169 /* (non-Javadoc)
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
170 * @see java.util.Observer#update(java.util.Observable, java.lang.Object)
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
171 * Called from the observable
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
172 */
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
173 public void update(Observable o, Object arg) {
26
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
174 /*
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
175 * If the argument ist digiImage then rerender the editor and update the properties
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
176 */
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
177 if (DigiImage.class.isInstance(arg)){
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
178 mainComposite.pack();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
179 sc.setMinSize(mainComposite.computeSize(SWT.DEFAULT, SWT.DEFAULT));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
180 sc.layout();
25
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
181 isDirty=true;
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
182 firePropertyChange(PROP_DIRTY);
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
183
25
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
184 //Object[] ls = getListeners();
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
185 //System.out.println(ls);
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
186
25
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
187 if (tp!=null)
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
188 tp.refresh();
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
189
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
190
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
191 } else if (Integer.class.isInstance(arg)){
26
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
192 //if it is in integer then the argument is the status of the cursor
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
193 int b = (Integer) arg;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
194
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
195 Cursor waitCursor = new Cursor(mainComposite.getDisplay(),b);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
196 mainComposite.setCursor(waitCursor);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
197
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
198 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
199
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
200
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
201 }
25
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
202
26
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
203 /* (non-Javadoc)
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
204 * @see org.eclipse.ui.views.properties.tabbed.ITabbedPropertySheetPageContributor#getContributorId()
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
205 */
25
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
206 public String getContributorId() {
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
207 String contribId = getSite().getId();
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
208 return contribId;
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
209 }
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
210
26
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
211 /* (non-Javadoc)
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
212 * @see org.eclipse.ui.part.WorkbenchPart#getAdapter(java.lang.Class)
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
213 */
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
214 @SuppressWarnings("rawtypes")
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
215 public Object getAdapter(Class adapter) {
25
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
216 if (adapter == IPropertySheetPage.class){
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
217
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
218 tp = new TabbedPropertySheetPage(this);
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
219 return tp;
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
220 }
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
221 return super.getAdapter(adapter);
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
222 }
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
223
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
224 }