JPanel panel = new JPanel(new BorderLayout()); panel.setBorder(new EmptyBorder(0,0,12,0));
JToolBar toolBar = new JToolBar(); toolBar.setFloatable(false); toolBar.putClientProperty("JToolBar.isRollover",Boolean.TRUE);
	public HelpViewer(URL url)	{		super(jEdit.getProperty("helpviewer.title"));		JPanel content = new JPanel(new BorderLayout());		content.setBorder(new EmptyBorder(12,12,12,12));		setContentPane(content);		setIconImage(GUIUtilities.getEditorIcon());		history = new URL[25];		ActionHandler actionListener = new ActionHandler();		JPanel panel = new JPanel(new BorderLayout());		panel.setBorder(new EmptyBorder(0,0,12,0));		JLabel label = new JLabel(jEdit.getProperty("helpviewer.url"));		label.setBorder(new EmptyBorder(0,0,0,12));		panel.add(BorderLayout.WEST,label);		urlField = new JTextField();		panel.add(urlField);		content.add(BorderLayout.NORTH,panel);		viewer = new JEditorPane();		viewer.setEditable(false);		viewer.setFont(new Font("Monospaced", Font.PLAIN, 12));		viewer.addHyperlinkListener(new LinkHandler());		content.add(BorderLayout.CENTER,new JScrollPane(viewer));		panel = new JPanel();		panel.setLayout(new BoxLayout(panel,BoxLayout.X_AXIS));		panel.setBorder(new EmptyBorder(12,0,0,0));		panel.add(Box.createGlue());		back = new JButton(jEdit.getProperty("helpviewer.back"));		back.setIcon(GUIUtilities.loadIcon("Back24.gif"));		back.addActionListener(actionListener);		panel.add(back);		panel.add(Box.createHorizontalStrut(6));		forward = new JButton(jEdit.getProperty("helpviewer.forward"));		forward.setIcon(GUIUtilities.loadIcon("Foward24.gif"));		forward.addActionListener(actionListener);		panel.add(forward);		panel.add(Box.createGlue());		back.setPreferredSize(forward.getPreferredSize());		content.add(BorderLayout.SOUTH,panel);		gotoURL(url,true);		setDefaultCloseOperation(DISPOSE_ON_CLOSE);		setSize(600,400);		GUIUtilities.loadGeometry(this,"helpviewer");		show();	}