fix for search results in zipped file

git-svn-id: svn+ssh://svn.internal.sanger.ac.uk/repos/svn/pathsoft/artemis/trunk@13741 ee4ac58c-ac51-4696-9907-e4b3aa274f04

uk/ac/sanger/artemis/components/SearchResultViewer.java

@@ -29,6 +29,7 @@ import uk.ac.sanger.artemis.ExternalProgram;
 import uk.ac.sanger.artemis.ExternalProgramException;
 import uk.ac.sanger.artemis.Options;
 import uk.ac.sanger.artemis.util.Document;
+import uk.ac.sanger.artemis.util.ZipFileDocument;
 
 import java.awt.event.ActionEvent;
 import java.awt.event.ActionListener;
@@ -83,9 +84,14 @@ public class SearchResultViewer extends FileViewer
     {
       public void actionPerformed(ActionEvent event) 
       {
+        String fileName = document.toString();
         try 
         {
-          sendToBrowser(document.toString());
+          if(document instanceof ZipFileDocument)
+            fileName = ((ZipFileDocument)document).writeTmpFile(
+                SearchResultViewer.this.getText());
+          
+          sendToBrowser(fileName);
         }
         catch (IOException e) 
         {

uk/ac/sanger/artemis/components/ViewMenu.java

@@ -1463,7 +1463,7 @@ public class ViewMenu extends SelectionMenu
           else
           {
             new SearchResultViewer(program_name + " results for "
-                + this_feature.getIDString() + " from " + document, document);
+                + this_feature.getIDString() + " from " + document.getName(), document);
           }
         }
         catch(ExternalProgramException e)