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

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

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
minor
author dwinter
date Wed, 05 Jan 2011 14:04:58 +0100
parents 83c58ea33792
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;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
6
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
7 public class DigilibLinkEditorObservable extends Observable {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
8
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
9 static public final DigilibLinkEditorObservable INSTANCE = new DigilibLinkEditorObservable();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
10
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
11 protected DigilibLinkEditorObservable(){};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
12
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
13 public void imageHasChanged(DigiImage di){
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
14 setChanged();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
15 notifyObservers(di);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
16 }
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 public void setCursorStatus(int status) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
20 setChanged();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
21 notifyObservers(status);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
22
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
23 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
24 }