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

first release (continued)
author dwinter
date Mon, 03 Jan 2011 09:11:25 +0100
parents
children 1a7940ac5169
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 import java.util.Observable;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
4
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
5 import org.eclipse.swt.SWT;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
6
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
7 import de.mpg.mpiwg.itgroup.digilib.digiImage.DigiImage;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
8
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
9 public class DigilibLinkEditorObservable extends Observable {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
10
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
11 static public final DigilibLinkEditorObservable INSTANCE = new DigilibLinkEditorObservable();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
12
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
13 protected DigilibLinkEditorObservable(){};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
14
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
15 public void imageHasChanged(DigiImage di){
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
16 setChanged();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
17 notifyObservers(di);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
18 }
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 public void setCursorStatus(int status) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
22 setChanged();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
23 notifyObservers(status);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
24
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
25 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
26 }