try { gotoURL(new URL(urlField.getText()), true); } catch(MalformedURLException mu) { Log.log(Log.ERROR,this,mu); String[] args = { urlField.getText() }; GUIUtilities.error(HelpViewer.this, "badurl",args);
try { gotoURL(new URL(urlField.getText()), true); } catch(MalformedURLException mu) { Log.log(Log.ERROR,this,mu); String[] args = { urlField.getText() }; GUIUtilities.error(HelpViewer.this, "badurl",args); }
		public void keyPressed(KeyEvent evt)		{			if(evt.getKeyCode() == KeyEvent.VK_ENTER)			{			try			{				gotoURL(new URL(urlField.getText()),					true);			}			catch(MalformedURLException mu)			{				Log.log(Log.ERROR,this,mu);				String[] args = { urlField.getText() };				GUIUtilities.error(HelpViewer.this,					"badurl",args);			}		}	}