return treeviewPanel;
}
public JPanel getOverviewPanel() {
if (overviewPanel == null) {
OverviewPanel overview = new OverviewPanel(editor, m_scrollPane);
overviewPanel = new JPanel(new GridBagLayout());
JLabel overviewLabel = new JLabel(
Messages.getString("Sidebar.Overview.Title"));
overviewLabel.setFont(HEADER_FONT);