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

first commit
author dwinter
date Fri, 17 Jun 2011 14:24:34 +0200
parents 1a7940ac5169
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 import java.util.Observable;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
4
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
5 import de.mpg.mpiwg.itgroup.digilib.digiImage.DigiImage;
27
ee955cf6c9c5 first commit
dwinter
parents: 24
diff changeset
6 import de.mpg.mpiwg.itgroup.digilib.digiImage.IDigiImage;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
7
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
8 public class DigilibLinkEditorObservable extends Observable {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
9
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
10 static public final DigilibLinkEditorObservable INSTANCE = new DigilibLinkEditorObservable();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
11
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
12 protected DigilibLinkEditorObservable(){};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
13
27
ee955cf6c9c5 first commit
dwinter
parents: 24
diff changeset
14 public void imageHasChanged(IDigiImage di){
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
15 setChanged();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
16 notifyObservers(di);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
17 }
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 public void setCursorStatus(int status) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
21 setChanged();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
22 notifyObservers(status);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
23
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
24 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
25 }