public void clear() { m_FilterDoc.clear(); m_FoldingDoc.clear(); m_Text.setText(""); m_IconBar.redraw(); }