setIconImage(GUIUtilities.getEditorIcon());
	public LogViewer(View view)	{		super(jEdit.getProperty("log-viewer.title"));		JTextArea textArea = new JTextArea(24,80);		textArea.setDocument(Log.getLogDocument());		Font font = view.getTextArea().getPainter().getFont();		textArea.setFont(font);		getContentPane().add(BorderLayout.CENTER,new JScrollPane(textArea));		pack();		GUIUtilities.loadGeometry(this,"log-viewer");		show();	}