Mercurial > hg > de.mpg.mpiwg.itgroup.digilib.core

annotate src/de/mpg/mpiwg/itgroup/digilib/manipulator/extensions/ZoomArea.java @ 1:83c58ea33792

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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.manipulator.extensions;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
2
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
3 import org.eclipse.swt.SWT;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
4 import org.eclipse.swt.widgets.Label;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
5
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
6 import de.mpg.mpiwg.itgroup.digilib.digiImage.DigiImage;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
7 import de.mpg.mpiwg.itgroup.digilib.digiImage.DigiImageController;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
8 import de.mpg.mpiwg.itgroup.digilib.plugin.editors.DigilibLinkEditorObservable;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
9
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
10 public class ZoomArea extends ManipulatorExtension {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
11
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
12 public String iconOff="/de/mpg/mpiwg/itgroup/digilib/icons/greyskin/zoom-area.png";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
13 public String iconOn="/de/mpg/mpiwg/itgroup/digilib/icons/greyskin/zoom-area.png";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
14
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
15 public ZoomArea() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
16 setIconPaths(iconOff,iconOn);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
17 setOffIcon();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
18 setKeyword("zoomArea");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
19 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
20
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
21
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
22
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
23 public void run(DigiImageController dc) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
24
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
25 DigilibLinkEditorObservable.INSTANCE.setCursorStatus(SWT.CURSOR_HAND);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
26 RectangleListener ml = dc.digiImage.getRectangleListener();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
27 Label label = dc.digiImage.getLabel();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
28 if (ml!=null){
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
29 try {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
30 label.removeMouseListener(ml);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
31 } catch (Exception e) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
32 // TODO Auto-generated catch block
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
33 e.printStackTrace();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
34 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
35 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
36 ml = new RectangleListener(dc,label);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
37 dc.digiImage.setRectangleListener(ml);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
38 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
39 ml.reset();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
40 label.addMouseListener(ml);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
41
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 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
45 }