annotate src/de/mpg/mpiwg/itgroup/digilib/plugin/editors/DigilibLinkEditorPart.java @ 32:d7a43156a79b default tip

new tabs
author dwinter
date Mon, 10 Oct 2011 17:52:22 +0200
parents 207dae29cc09
children
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
30
207dae29cc09 new tabs
dwinter
parents: 29
diff changeset
42 private static final int SIZE_DH = 1000;
207dae29cc09 new tabs
dwinter
parents: 29
diff changeset
43 private static final int SIZE_DW = 1000;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
44 private Composite mainComposite;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
45 private ScrolledComposite sc;
25
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
46 private boolean isDirty;
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
47 private TabbedPropertySheetPage tp=null;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
48 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
49 public void doSave(IProgressMonitor monitor) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
50 // TODO Auto-generated method stub
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
51
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 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
55 public void doSaveAs() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
56 // TODO Auto-generated method stub
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
57
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 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
61 public void init(IEditorSite site, IEditorInput input)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
62 throws PartInitException {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
63 setInput(input);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
64 setSite(site);
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
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
68 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
69 public boolean isDirty() {
25
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
70 return isDirty;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
71 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
72
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
73 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
74 public boolean isSaveAsAllowed() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
75 // TODO Auto-generated method stub
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
76 return false;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
77 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
78
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
79 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
80 public void createPartControl(Composite frame) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
81
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
82 sc = new ScrolledComposite(frame, SWT.H_SCROLL | SWT.V_SCROLL);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
83 mainComposite = new Composite(sc,SWT.None);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
84
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
85 GridLayout imageLayout = new GridLayout(2,false);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
86 mainComposite.setLayout(imageLayout);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
87 sc.setContent(mainComposite);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
88 //sc.setMinSize(400, 400);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
89
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
90
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
91
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
92 DigilibLinkEditorInput input= (DigilibLinkEditorInput) getEditorInput();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
93 String path="";
27
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
94
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
95
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
96 IDigiImage digiImage;
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
97
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
98 if (input.getType()==DigilibLinkEditorInput.INDEX_META){
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
99 ParseIndexMeta im;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
100 try {
9
e63a64652f4d added comments
dwinter
parents: 1
diff changeset
101 im = new ParseIndexMeta(input.getFile());
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
102 } catch (JDOMException e) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
103 // TODO Auto-generated catch block
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
104 e.printStackTrace();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
105 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
106 } catch (IOException 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 (CoreException 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 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
115 try {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
116 path=im.getImagePath();
27
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
117 path=path.replace("/mpiwg/online", "");
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
118 DigiImageParameter dp = new DigiImageParameter(path);
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
119 dp.setType(input.getType());
30
207dae29cc09 new tabs
dwinter
parents: 29
diff changeset
120 dp.setDh(SIZE_DH);
207dae29cc09 new tabs
dwinter
parents: 29
diff changeset
121 dp.setDw(SIZE_DW);
27
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
122 digiImage = new DigiImage(mainComposite, SWT.BORDER, dp);
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
123 } catch (JDOMException e) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
124 // TODO Auto-generated catch block
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
125 e.printStackTrace();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
126 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
127 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
128 if (path==null)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
129 return;
27
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
130 } else if (input.getType()==DigilibLinkEditorInput.TEXTGRID){
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
131 path = input.getUri().toASCIIString();
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
132 DigiImageParameter dp = new DigiImageParameter(path);
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
133 dp.setType(input.getType());
30
207dae29cc09 new tabs
dwinter
parents: 29
diff changeset
134 dp.setDh(SIZE_DH);
207dae29cc09 new tabs
dwinter
parents: 29
diff changeset
135 dp.setDw(SIZE_DW);
27
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
136 digiImage = new TextGridDigiImage(mainComposite, SWT.BORDER, dp,input.getSid());
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
137
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
138 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
139 //TODO: issue warning that type cannot be solved.
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
140 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
141 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
142
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
143
27
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
144
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
145
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
146
27
ee955cf6c9c5 first commit
dwinter
parents: 26
diff changeset
147
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
148 DigiImageController digiImageController = new DigiImageController(digiImage);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
149 //imageComp.setBackgroundImage(img);
24
dwinter
parents: 22
diff changeset
150 new DigiNav(mainComposite,SWT.NONE,digiImageController);
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
151
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
152 getSite().setSelectionProvider(digiImage);
25
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
153 //StructuredSelection strucSel = new StructuredSelection(digiImage);
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
154 digiImage.setSelection(new StructuredSelection(digiImage));
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
155
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
156 sc.setMinSize(mainComposite.computeSize(SWT.DEFAULT, SWT.DEFAULT));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
157 sc.setExpandHorizontal(true);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
158 sc.setExpandVertical(true);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
159 sc.layout();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
160 DigilibLinkEditorObservable.INSTANCE.addObserver(this);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
161
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
162 //setSelection( digiImage);
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
163 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
164
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
165 @Override
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
166 public void setFocus() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
167 // TODO Auto-generated method stub
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
168
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
169 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
170
26
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
171 /* (non-Javadoc)
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
172 * @see java.util.Observer#update(java.util.Observable, java.lang.Object)
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
173 * Called from the observable
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
174 */
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
175 public void update(Observable o, Object arg) {
26
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
176 /*
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
177 * If the argument ist digiImage then rerender the editor and update the properties
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
178 */
30
207dae29cc09 new tabs
dwinter
parents: 29
diff changeset
179 if (IDigiImage.class.isInstance(arg)){
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
180 mainComposite.pack();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
181 sc.setMinSize(mainComposite.computeSize(SWT.DEFAULT, SWT.DEFAULT));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
182 sc.layout();
25
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
183 isDirty=true;
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
184 firePropertyChange(PROP_DIRTY);
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
185
25
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
186 //Object[] ls = getListeners();
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
187 //System.out.println(ls);
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
188
25
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
189 if (tp!=null)
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
190 tp.refresh();
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
191
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
192
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
193 } else if (Integer.class.isInstance(arg)){
26
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
194 //if it is in integer then the argument is the status of the cursor
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
195 int b = (Integer) arg;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
196
29
fbcf122a6a24 Working version for textgrid
dwinter
parents: 27
diff changeset
197
fbcf122a6a24 Working version for textgrid
dwinter
parents: 27
diff changeset
198 try {
fbcf122a6a24 Working version for textgrid
dwinter
parents: 27
diff changeset
199 Cursor waitCursor = new Cursor(mainComposite.getDisplay(), b);
fbcf122a6a24 Working version for textgrid
dwinter
parents: 27
diff changeset
200 mainComposite.setCursor(waitCursor);
fbcf122a6a24 Working version for textgrid
dwinter
parents: 27
diff changeset
201 } catch (Exception e) {
fbcf122a6a24 Working version for textgrid
dwinter
parents: 27
diff changeset
202 // TODO: handle exception
fbcf122a6a24 Working version for textgrid
dwinter
parents: 27
diff changeset
203
fbcf122a6a24 Working version for textgrid
dwinter
parents: 27
diff changeset
204 }
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
205
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
206 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
207
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
208
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
209 }
25
6e7bb3467531 new property view
dwinter
parents: 24
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.views.properties.tabbed.ITabbedPropertySheetPageContributor#getContributorId()
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
213 */
25
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
214 public String getContributorId() {
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
215 String contribId = getSite().getId();
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
216 return contribId;
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
217 }
20
2f47c136b8a6 added property view
dwinter
parents: 9
diff changeset
218
26
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
219 /* (non-Javadoc)
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
220 * @see org.eclipse.ui.part.WorkbenchPart#getAdapter(java.lang.Class)
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
221 */
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
222 @SuppressWarnings("rawtypes")
183c3e96f6c3 cleaned code
dwinter
parents: 25
diff changeset
223 public Object getAdapter(Class adapter) {
25
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
224 if (adapter == IPropertySheetPage.class){
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
225
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
226 tp = new TabbedPropertySheetPage(this);
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
227 return tp;
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
228 }
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
229 return super.getAdapter(adapter);
6e7bb3467531 new property view
dwinter
parents: 24
diff changeset
230 }
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
231
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
232 }