// =================================================== // ObjHtmlPanel.Listener public void linkSelected(java.net.URL href, String target) { String url = href.toExternalForm(); int slash = url.lastIndexOf('/'); if (slash > 0) url = url.substring(slash + 1); Job t = actionMap.get(url); fapp.guiRun().run(this, new Job(t.getPermissions(), t.getCBRunnable())); }
// =================================================== // ObjHtmlPanel.Listener public void linkSelected(java.net.URL href, String target) { String url = href.toExternalForm(); int slash = url.lastIndexOf('/'); if (slash > 0) url = url.substring(slash + 1); Job job = actionMap.get(url); if (job != null) app.guiRun().run(this, job); }