registerList.setVisibleRowCount(10);
registerList.setVisibleRowCount(16);
	public ViewRegisters(View view)	{		super(view,jEdit.getProperty("view-registers.title"),true);		Container content = getContentPane();		Registers.Register[] registers = Registers.getRegisters();		Vector strings = new Vector();		for(int i = 0; i < registers.length; i++)		{			Registers.Register reg = registers[i];			if(reg == null)				continue;			String value = reg.toString();			if(value == null)				continue;			strings.addElement((char)i + ": " + value);		}		JList registerList = new JList(strings);		registerList.setVisibleRowCount(10);		registerList.setFont(view.getTextArea().getPainter().getFont());		close = new JButton(jEdit.getProperty("common.close"));		content.setLayout(new BorderLayout());		content.add(new JLabel(jEdit.getProperty("view-registers.caption")),			BorderLayout.NORTH);		JScrollPane scroller = new JScrollPane(registerList);		Dimension dim = scroller.getPreferredSize();		scroller.setPreferredSize(new Dimension(640,dim.height));		content.add(scroller, BorderLayout.CENTER);		JPanel panel = new JPanel();		panel.add(close);		content.add(panel, BorderLayout.SOUTH);		addKeyListener(new KeyHandler());		getRootPane().setDefaultButton(close);		ActionHandler actionListener = new ActionHandler();		close.addActionListener(actionListener);		setDefaultCloseOperation(DISPOSE_ON_CLOSE);		Dimension screen = getToolkit().getScreenSize();		pack();		setLocation((screen.width - getSize().width) / 2,			(screen.height - getSize().height) / 2);		show();		registerList.requestFocus();	}