Given the .html file, displays it in the default browser.
(File file)
| 1010 | * Given the .html file, displays it in the default browser. |
| 1011 | */ |
| 1012 | public void showReferenceFile(File file) { |
| 1013 | try { |
| 1014 | file = file.getCanonicalFile(); |
| 1015 | } catch (IOException e) { |
| 1016 | e.printStackTrace(); |
| 1017 | } |
| 1018 | |
| 1019 | // Prepend with file:// and also encode spaces & other characters |
| 1020 | Platform.openURL(file.toURI().toString()); |
| 1021 | } |
| 1022 | |
| 1023 | |
| 1024 | static public void showChanges() { |
no test coverage detected