annotate src/de/mpg/mpiwg/itgroup/digilib/plugin/editors/DigilibLinkEditorPart.java @ 1:83c58ea33792

first release (continued)
author dwinter
date Mon, 03 Jan 2011 09:11:25 +0100
parents
children e63a64652f4d
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.io.InputStream;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
6 import java.net.MalformedURLException;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
7 import java.net.URL;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
8 import java.util.Observable;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
9 import java.util.Observer;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
10
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
11 import info.textgrid.lab.linkeditor.mip.gui.ImagePanel;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
12
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
13 import org.eclipse.core.resources.IResourceChangeEvent;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
14 import org.eclipse.core.resources.IResourceChangeListener;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
15 import org.eclipse.core.runtime.CoreException;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
16 import org.eclipse.core.runtime.IProgressMonitor;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
17 import org.eclipse.swt.SWT;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
18 import org.eclipse.swt.custom.ScrolledComposite;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
19 import org.eclipse.swt.graphics.Cursor;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
20 import org.eclipse.swt.graphics.Image;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
21 import org.eclipse.swt.layout.FillLayout;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
22 import org.eclipse.swt.layout.GridLayout;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
23 import org.eclipse.swt.widgets.Composite;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
24 import org.eclipse.swt.widgets.Label;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
25 import org.eclipse.swt.widgets.Scale;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
26 import org.eclipse.ui.IEditorInput;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
27 import org.eclipse.ui.IEditorSite;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
28 import org.eclipse.ui.PartInitException;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
29 import org.eclipse.ui.part.EditorPart;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
30 import org.jdom.JDOMException;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
31
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
32 import de.mpg.mpiwg.itgroup.digilib.digiImage.DigiImage;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
33 import de.mpg.mpiwg.itgroup.digilib.digiImage.DigiImageController;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
34 import de.mpg.mpiwg.itgroup.digilib.digiImage.DigiImageParameter;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
35 import de.mpg.mpiwg.itgroup.digilib.digiImage.DigiNav;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
36 import de.mpg.mpiwg.itgroup.digilib.digiImage.exceptions.DigilibInputTypeException;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
37 import de.mpg.mpiwg.itgroup.indexMeta.Utils.ParseIndexMeta;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
38
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
39 /**
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
40 *
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
41 * @author dwinter
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
42 *
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
43 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
44 public class DigilibLinkEditorPart extends EditorPart implements IResourceChangeListener, Observer{
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
45
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
46 private ImagePanel imagePanel;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
47 private Composite mainComposite;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
48 private ScrolledComposite sc;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
49
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
50 public void resourceChanged(IResourceChangeEvent event) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
51 // TODO Auto-generated method stub
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
52
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
53 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
54
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
55 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
56 public void doSave(IProgressMonitor monitor) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
57 // TODO Auto-generated method stub
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
58
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
59 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
60
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
61 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
62 public void doSaveAs() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
63 // TODO Auto-generated method stub
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
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
67 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
68 public void init(IEditorSite site, IEditorInput input)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
69 throws PartInitException {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
70 setInput(input);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
71 setSite(site);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
72
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
73 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
74
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
75 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
76 public boolean isDirty() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
77 // TODO Auto-generated method stub
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
78 return false;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
79 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
80
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
81 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
82 public boolean isSaveAsAllowed() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
83 // TODO Auto-generated method stub
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
84 return false;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
85 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
86
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
87 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
88 public void createPartControl(Composite frame) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
89
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
90 sc = new ScrolledComposite(frame, SWT.H_SCROLL | SWT.V_SCROLL);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
91 mainComposite = new Composite(sc,SWT.None);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
92
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
93 GridLayout imageLayout = new GridLayout(2,false);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
94 mainComposite.setLayout(imageLayout);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
95 sc.setContent(mainComposite);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
96 //sc.setMinSize(400, 400);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
97
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
98 URL url;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
99
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
100 DigilibLinkEditorInput input= (DigilibLinkEditorInput) getEditorInput();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
101 String path="";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
102 if (input.getType()==DigilibLinkEditorInput.INDEX_META){
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
103 ParseIndexMeta im;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
104 try {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
105 im = new ParseIndexMeta(input.getIndexMetaFile());
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
106 } catch (JDOMException e) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
107 // TODO Auto-generated catch block
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
108 e.printStackTrace();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
109 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
110 } catch (IOException e) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
111 // TODO Auto-generated catch block
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
112 e.printStackTrace();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
113 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
114 } catch (CoreException e) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
115 // TODO Auto-generated catch block
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
116 e.printStackTrace();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
117 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
118 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
119 try {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
120 path=im.getImagePath();
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;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
128 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
129 //TODO: issue warning that type cannot be solved.
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
130 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
131 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
132
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
133
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
134 path=path.replace("/mpiwg/online", "");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
135 DigiImageParameter dp = new DigiImageParameter(path);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
136 dp.setDh(500);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
137 dp.setDw(500);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
138
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
139
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
140 DigiImage digiImage = new DigiImage(mainComposite, SWT.BORDER, dp);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
141 DigiImageController digiImageController = new DigiImageController(digiImage);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
142 //imageComp.setBackgroundImage(img);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
143 DigiNav digiNav = new DigiNav(mainComposite,SWT.BORDER,digiImageController);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
144
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
145 sc.setMinSize(mainComposite.computeSize(SWT.DEFAULT, SWT.DEFAULT));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
146 sc.setExpandHorizontal(true);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
147 sc.setExpandVertical(true);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
148 sc.layout();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
149 DigilibLinkEditorObservable.INSTANCE.addObserver(this);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
150
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
151 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
152
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
153 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
154 public void setFocus() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
155 // TODO Auto-generated method stub
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
156
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
157 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
158
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
159 public void update(Observable o, Object arg) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
160 if (DigiImage.class.isInstance(arg)){
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
161 mainComposite.pack();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
162 sc.setMinSize(mainComposite.computeSize(SWT.DEFAULT, SWT.DEFAULT));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
163 sc.layout();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
164 //sc.pack();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
165
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
166 } else if (Integer.class.isInstance(arg)){
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
167 int b = (Integer) arg;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
168
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
169 Cursor waitCursor = new Cursor(mainComposite.getDisplay(),b);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
170 mainComposite.setCursor(waitCursor);
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
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
175 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
176
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
177
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
178
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
179 }