Given the .html file, displays it in the default browser. @param file
(File file)
| 1272 | * @param file |
| 1273 | */ |
| 1274 | public void showReferenceFile(File file) { |
| 1275 | try { |
| 1276 | file = file.getCanonicalFile(); |
| 1277 | } catch (IOException e) { |
| 1278 | e.printStackTrace(); |
| 1279 | } |
| 1280 | |
| 1281 | // Prepend with file:// and also encode spaces & other characters |
| 1282 | Platform.openURL(file.toURI().toString()); |
| 1283 | } |
| 1284 | |
| 1285 | |
| 1286 | static public void showChanges() { |
no test coverage detected