panel.add(BorderLayout.SOUTH,panel2);
	public AboutDialog(View view)	{		super(view,jEdit.getProperty("about.title"),true);		JLabel label = new JLabel(			new ImageIcon(getClass().getResource(			"/org/gjt/sp/jedit/jedit_logo.gif")));		label.setBorder(new EmptyBorder(10,10,10,10));		getContentPane().add(BorderLayout.NORTH,label);		JPanel panel = new JPanel(new GridLayout(0,1));		String[] args = { jEdit.getVersion() };		StringTokenizer st = new StringTokenizer(			jEdit.getProperty("about.message",args),"\n");		while(st.hasMoreTokens())		{			panel.add(new JLabel(st.nextToken(),				SwingConstants.CENTER));		}		getContentPane().add(BorderLayout.CENTER,panel);		panel = new JPanel();		ok = new JButton(jEdit.getProperty("common.ok"));		ok.addActionListener(new ActionHandler());		getRootPane().setDefaultButton(ok);		panel.add(ok);		getContentPane().add(BorderLayout.SOUTH,panel);		pack();		setLocationRelativeTo(view);		show();	}