Lines 35-47
Link Here
|
35 |
import org.openide.nodes.*; |
35 |
import org.openide.nodes.*; |
36 |
import org.openide.loaders.*; |
36 |
import org.openide.loaders.*; |
37 |
import org.openide.filesystems.*; |
37 |
import org.openide.filesystems.*; |
|
|
38 |
import org.openide.text.CloneableEditorSupport; |
38 |
import org.openide.text.NbDocument; |
39 |
import org.openide.text.NbDocument; |
39 |
import org.openide.util.RequestProcessor; |
40 |
import org.openide.util.RequestProcessor; |
|
|
41 |
import org.openide.util.WeakListener; |
40 |
|
42 |
|
41 |
import org.apache.tools.ant.module.AntModule; |
43 |
import org.apache.tools.ant.module.AntModule; |
42 |
import org.apache.tools.ant.module.api.AntProjectCookie; |
44 |
import org.apache.tools.ant.module.api.AntProjectCookie; |
43 |
|
45 |
|
44 |
public class AntProjectSupport implements AntProjectCookie, DocumentListener, FileChangeListener, org.w3c.dom.events.EventListener, Runnable { |
46 |
public class AntProjectSupport implements AntProjectCookie, DocumentListener, FileChangeListener, org.w3c.dom.events.EventListener, Runnable, ChangeListener { |
45 |
|
47 |
|
46 |
private final File file; |
48 |
private final File file; |
47 |
private FileObject fo; |
49 |
private FileObject fo; |
Lines 96-101
Link Here
|
96 |
if (editor == null) { |
98 |
if (editor == null) { |
97 |
try { |
99 |
try { |
98 |
editor = (EditorCookie) DataObject.find (fo).getCookie (EditorCookie.class); |
100 |
editor = (EditorCookie) DataObject.find (fo).getCookie (EditorCookie.class); |
|
|
101 |
if (editor != null && (editor instanceof CloneableEditorSupport)) { |
102 |
((CloneableEditorSupport) editor).addChangeListener (WeakListener.change (this, editor)); |
103 |
} |
99 |
} catch (DataObjectNotFoundException donfe) { |
104 |
} catch (DataObjectNotFoundException donfe) { |
100 |
AntModule.err.notify (ErrorManager.INFORMATIONAL, donfe); |
105 |
AntModule.err.notify (ErrorManager.INFORMATIONAL, donfe); |
101 |
} |
106 |
} |
Lines 332-337
Link Here
|
332 |
if (ev.getDocument ().getProperty (expectingDocUpdates) == null) { |
337 |
if (ev.getDocument ().getProperty (expectingDocUpdates) == null) { |
333 |
invalidate (); |
338 |
invalidate (); |
334 |
} |
339 |
} |
|
|
340 |
} |
341 |
|
342 |
// Called when editor support changes state: #11616 |
343 |
public void stateChanged (ChangeEvent changeEvent) { |
344 |
invalidate (); |
335 |
} |
345 |
} |
336 |
|
346 |
|
337 |
public void fileDeleted (org.openide.filesystems.FileEvent p1) { |
347 |
public void fileDeleted (org.openide.filesystems.FileEvent p1) { |