import jalview.gui.AlignmentPanel;
import jalview.gui.IProgressIndicator;
import jalview.util.MessageManager;
+import jalview.util.Platform;
import java.io.BufferedReader;
import java.io.File;
}
}
- // /**
- // * Answers true if HTML export is invoke in headless mode or false otherwise
- // *
- // * @return
- // */
- // protected boolean isHeadless()
- // {
- // return System.getProperty("java.awt.headless") != null
- // && System.getProperty("java.awt.headless").equals("true");
- // }
-
/**
* This method provides implementation of consistent behaviour which should
* occur after a HTML file export. It MUST be called at the end of the
{
try
{
- jalview.util.BrowserLauncher
- .openURL("file:///" + getExportedFile());
+ Platform.openURL("file:///" + getExportedFile());
} catch (IOException e)
{
e.printStackTrace();