panel.add(Box.createGlue());
	public PastePrevious(View view)	{		super(view,jEdit.getProperty("pasteprev.title"),true);		this.view = view;		Container content = getContentPane();		clipHistory = HistoryModel.getModel("clipboard");		clips = new JList(new AbstractListModel() {			public int getSize()			{				return clipHistory.getSize();			}			public Object getElementAt(int index)			{				return clipHistory.getItem(index);			}		});		clips.setVisibleRowCount(16);		clips.setFont(view.getTextArea().getPainter().getFont());		clips.addMouseListener(this);		clips.addListSelectionListener(this);		insert = new JButton(jEdit.getProperty("pasteprev.insert"));		cancel = new JButton(jEdit.getProperty("common.cancel"));		content.setLayout(new BorderLayout());		content.add(new JLabel(jEdit.getProperty("pasteprev.caption")),			BorderLayout.NORTH);		JScrollPane scroller = new JScrollPane(clips);		Dimension dim = scroller.getPreferredSize();		scroller.setPreferredSize(new Dimension(640,dim.height));		content.add(scroller, BorderLayout.CENTER);		JPanel panel = new JPanel();		panel.add(insert);		panel.add(cancel);		content.add(panel, BorderLayout.SOUTH);		updateButtons();		getRootPane().setDefaultButton(insert);		insert.addActionListener(this);		cancel.addActionListener(this);		GUIUtilities.requestFocus(this,clips);		pack();		setLocationRelativeTo(view);		show();	}