01: // TreeListener.java
02: // $Id: TreeListener.java,v 1.9 2000/08/16 21:37:28 ylafon Exp $
03: // (c) COPYRIGHT MIT and INRIA, 1997.
04: // Please first read the full copyright statement in file COPYRIGHT.html
05:
06: package org.w3c.jigadm.gui;
07:
08: import java.util.EventListener;
09:
10: import java.awt.Container;
11: import java.awt.Panel;
12:
13: import org.w3c.jigsaw.admin.RemoteAccessException;
14:
15: import org.w3c.jigadm.RemoteResourceWrapper;
16:
17: import org.w3c.jigadm.editors.ResourceEditor;
18:
19: public class TreeListener implements EventListener {
20: Panel target = null;
21: RemoteResourceWrapper lastr = null;
22:
23: class Initializer extends Thread {
24: ResourceEditor re;
25:
26: public void run() {
27: try {
28: re.initialize(lastr, null);
29: } catch (RemoteAccessException ex) {
30: // FIXME
31: }
32: }
33:
34: Initializer(ResourceEditor re) {
35: this .re = re;
36: }
37: }
38:
39: public void editedChanged(ServerBrowser tb,
40: RemoteResourceWrapper resourcew) {
41: lastr = resourcew;
42: if (target != null) {
43: ResourceEditor re = new ResourceEditor(target);
44: re.addResourceListener(new ResourceEditorListener(tb));
45: (new Initializer(re)).start();
46: // try {
47: // re.initialize(resourcew, null);
48: //} catch (RemoteAccessException ex) {
49: // FIXME
50: //}
51: }
52: }
53:
54: public void focusChanged(RemoteResourceWrapper rw) { //FIXME
55: if (rw == null) {
56: if (lastr != null) {
57: target.removeAll();
58: }
59: } else {
60: if (!rw.equals(lastr)) {
61: target.removeAll();
62: }
63: }
64: lastr = rw;
65: }
66:
67: public void nodeRemoved(RemoteResourceWrapper rw) {
68: if (rw.equals(lastr)) {
69: lastr = null;
70: target.removeAll();
71: }
72: }
73:
74: public TreeListener(Panel target) {
75: this.target = target;
76: }
77: }
|