()
| 72 | } |
| 73 | |
| 74 | @Override |
| 75 | public void run() { |
| 76 | // Load workspace |
| 77 | try { |
| 78 | loadInitialWorkspace(); |
| 79 | } catch(Exception ex) { |
| 80 | error(ex, "Error loading workspace from file: " + initialWorkspace); |
| 81 | } |
| 82 | // Call startup plugins |
| 83 | PluginsManager.getInstance().ofType(StartupPlugin.class).forEach(plugin -> plugin.onStart(this)); |
| 84 | } |
| 85 | |
| 86 | /** |
| 87 | * Try to load the passed initial workspace |
nothing calls this directly
no test coverage detected