- Timestamp:
- 2005-07-27T11:57:08+12:00 (19 years ago)
- Location:
- trunk/gli/src/org/greenstone/gatherer
- Files:
-
- 4 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/file/FileManager.java
r10265 r10325 139 139 { 140 140 return file_queue; 141 } 142 143 144 public void openFileInExternalApplication(File file) 145 { 146 Gatherer.self.spawnApplication(file); 141 147 } 142 148 -
trunk/gli/src/org/greenstone/gatherer/file/FileOpenActionListener.java
r8243 r10325 73 73 ///ystem.err.println("Double clicked on " + record); 74 74 File file = record.getFile(); 75 if (file != null && file.isFile()) {75 if (file != null && file.isFile()) { 76 76 ///ystem.err.println("Running " + file); 77 Gatherer. self.spawnApplication(file);77 Gatherer.f_man.openFileInExternalApplication(file); 78 78 } 79 79 } -
trunk/gli/src/org/greenstone/gatherer/gui/EnrichPane.java
r9856 r10325 616 616 // Open in external program 617 617 else if (source == open_externally) { 618 Gatherer. self.spawnApplication(node.getFile());618 Gatherer.f_man.openFileInExternalApplication(node.getFile()); 619 619 } 620 620 } -
trunk/gli/src/org/greenstone/gatherer/gui/GatherPane.java
r10011 r10325 719 719 // Open in external program 720 720 else if (source == open_externally) { 721 Gatherer. self.spawnApplication(node.getFile());721 Gatherer.f_man.openFileInExternalApplication(node.getFile()); 722 722 } 723 723 } … … 755 755 if(path != null) { 756 756 File file = ((FileNode)path.getLastPathComponent()).getFile(); 757 if (file != null && file.isFile()) {758 Gatherer. self.spawnApplication(file);757 if (file != null && file.isFile()) { 758 Gatherer.f_man.openFileInExternalApplication(file); 759 759 } 760 760 else {
Note:
See TracChangeset
for help on using the changeset viewer.