viewer.setCursor(Cursor.getDefaultCursor());  try { urlField.setText(url.toString()); viewer.setPage(url); if(addToHistory) { history[historyPos++] = url; if(history.length == historyPos) System.arraycopy(history,1,history, 0,history.length); history[historyPos] = null; } } catch(IOException io) { Log.log(Log.ERROR,this,io); String[] args = { io.getMessage() }; GUIUtilities.error(this,"ioerror",args); }
if(helpViewer == null) helpViewer = new HelpViewer(url); else helpViewer.gotoURL(url,true);
	public void gotoURL(URL url, boolean addToHistory)	{		// reset default cursor so that the hand cursor doesn't		// stick around		viewer.setCursor(Cursor.getDefaultCursor());		try		{			urlField.setText(url.toString());			viewer.setPage(url);			if(addToHistory)			{				history[historyPos++] = url;				if(history.length == historyPos)					System.arraycopy(history,1,history,						0,history.length);				history[historyPos] = null;			}		}		catch(IOException io)		{			Log.log(Log.ERROR,this,io);			String[] args = { io.getMessage() };			GUIUtilities.error(this,"ioerror",args);		}	}