Changeset 10325

Timestamp:

2005-07-27T11:57:08+12:00 (19 years ago)

Author:

mdewsnip

Message:

Opening files in an external program is now done through FileManager.openFileInExternalApplication().

Location:

trunk/gli/src/org/greenstone/gatherer

Files:

• file/FileManager.java (modified) (1 diff)
• file/FileOpenActionListener.java (modified) (1 diff)
• gui/EnrichPane.java (modified) (1 diff)
• gui/GatherPane.java (modified) (2 diffs)

trunk/gli/src/org/greenstone/gatherer/file/FileManager.java

@@ -139 +139 @@
     {
     return file_queue;
+    }
+
+
+    public void openFileInExternalApplication(File file)
+    {
+    Gatherer.self.spawnApplication(file);
     }
 

trunk/gli/src/org/greenstone/gatherer/file/FileOpenActionListener.java

@@ -73 +73 @@
             ///ystem.err.println("Double clicked on " + record);
             File file = record.getFile();
-            if(file != null && file.isFile()) {
+            if (file != null && file.isFile()) {
             ///ystem.err.println("Running " + file);
-            Gatherer.self.spawnApplication(file);
+            Gatherer.f_man.openFileInExternalApplication(file);
             }
         }

trunk/gli/src/org/greenstone/gatherer/gui/EnrichPane.java

@@ -616 +616 @@
         // Open in external program
         else if (source == open_externally) {
-        Gatherer.self.spawnApplication(node.getFile());
+        Gatherer.f_man.openFileInExternalApplication(node.getFile());
         }
     }

trunk/gli/src/org/greenstone/gatherer/gui/GatherPane.java

@@ -719 +719 @@
         // Open in external program
         else if (source == open_externally) {
-        Gatherer.self.spawnApplication(node.getFile());
+        Gatherer.f_man.openFileInExternalApplication(node.getFile());
         }
     }
@@ -755 +755 @@
         if(path != null) {
             File file = ((FileNode)path.getLastPathComponent()).getFile();
-            if(file != null && file.isFile()) {
-            Gatherer.self.spawnApplication(file);
+            if (file != null && file.isFile()) {
+            Gatherer.f_man.openFileInExternalApplication(file);
             }
             else {