splash.setBorder(new MatteBorder(1,1,1,1,Color.black));
	public AboutDialog(View view)	{		super(view,jEdit.getProperty("about.title"),true);		JPanel content = new JPanel(new BorderLayout());		content.setBackground(Color.white);		content.setBorder(new EmptyBorder(12,12,12,12));		setContentPane(content);		JPanel panel = new JPanel(new BorderLayout());		panel.setBackground(Color.white);		String[] args = { jEdit.getVersion() };		JLabel label = new JLabel(jEdit.getProperty("about.version",args),			SwingConstants.CENTER);		label.setBorder(new EmptyBorder(0,0,12,0));		panel.add(BorderLayout.NORTH,label);		JLabel splash = new JLabel(new ImageIcon(getClass().getResource(			"/org/gjt/sp/jedit/jedit_logo.gif")));		splash.setBorder(new MatteBorder(1,1,1,1,Color.black));		panel.add(BorderLayout.CENTER,splash);		label = new JLabel(jEdit.getProperty("about.caption"),			SwingConstants.CENTER);		label.setBorder(new EmptyBorder(12,0,12,0));		panel.add(BorderLayout.SOUTH,label);		content.add(BorderLayout.CENTER,panel);		Box box = new Box(BoxLayout.X_AXIS);		box.add(Box.createGlue());		close = new JButton(jEdit.getProperty("common.close"));		close.addActionListener(new ActionHandler());		getRootPane().setDefaultButton(close);		box.add(close);		box.add(Box.createGlue());		content.add(BorderLayout.SOUTH,box);		pack();		setResizable(false);		setLocationRelativeTo(view);		show();	}