/** * Open an url in external browser. */ protected void openExternal(URL url) { try { BrowserLauncher2.openURL(url.toString()); } catch(IOException e) { BrowserPane.this.setText("Could not start browser: "+e); } }
/** * Show element details. */ public void showElementDetails(Map element) { // Todo: better layout this.details.setText(element.toString()); // Hack? to show detail panel. if(content.getDividerLocation() > content.getMaximumDividerLocation()) content.setDividerLocation(content.getLastDividerLocation()); }
setText(externals.get(reference));
bp.setText(infotext); bp.setDefaultOpenMode(true);
/** * Open an url in this pane. */ public void setPage(URL url) { try { // Hack??? Allow relative file urls to be loaded setDocument(getEditorKit().createDefaultDocument()); super.setPage(url); // history.add(url); } catch(IOException ex) { BrowserPane.this.setText("Could not open page: "+ex); } }
addons.setText("Some of these settings require add-ons <br> available from the " +"<a href=\"http://www.activecomponents.org/download\">" +"Jadex download page</a>.");