JPanel panel = new JPanel(); panel.setLayout(new BoxLayout(panel,BoxLayout.X_AXIS)); panel.setBorder(new EmptyBorder(0,0,12,0)); panel.add(Box.createGlue());  clear = new JButton(jEdit.getProperty("log-viewer.clear")); clear.addActionListener(new ActionHandler()); panel.add(clear); panel.add(Box.createHorizontalStrut(6));  save = new JButton(jEdit.getProperty("log-viewer.save")); save.addActionListener(new ActionHandler()); panel.add(save); panel.add(Box.createGlue());  content.add(BorderLayout.NORTH,panel);
String settingsDirectory = jEdit.getSettingsDirectory(); if(settingsDirectory != null) { String[] args = { MiscUtilities.constructPath( settingsDirectory, "activity.log") }; JLabel label = new JLabel(jEdit.getProperty( "log-viewer.caption",args)); label.setBorder(new EmptyBorder(0,0,12,0)); content.add(BorderLayout.NORTH,label); }
	public LogViewer(View view)	{		super(jEdit.getProperty("log-viewer.title"));		setIconImage(GUIUtilities.getEditorIcon());		JPanel content = new JPanel(new BorderLayout());		content.setBorder(new EmptyBorder(12,12,12,12));		setContentPane(content);		JPanel panel = new JPanel();		panel.setLayout(new BoxLayout(panel,BoxLayout.X_AXIS));		panel.setBorder(new EmptyBorder(0,0,12,0));		panel.add(Box.createGlue());		clear = new JButton(jEdit.getProperty("log-viewer.clear"));		clear.addActionListener(new ActionHandler());		panel.add(clear);		panel.add(Box.createHorizontalStrut(6));		save = new JButton(jEdit.getProperty("log-viewer.save"));		save.addActionListener(new ActionHandler());		panel.add(save);		panel.add(Box.createGlue());		content.add(BorderLayout.NORTH,panel);		JTextArea textArea = new JTextArea(24,80);		textArea.setDocument(Log.getLogDocument());		//textArea.setEditable(false);		Font font = view.getTextArea().getPainter().getFont();		textArea.setFont(font);		content.add(BorderLayout.CENTER,new JScrollPane(textArea));		pack();		GUIUtilities.loadGeometry(this,"log-viewer");		show();	}