/** * Adds the current editor value to the history. * * @return true if successfully added (i.e., if editor is a GOE) */ public boolean addToHistory() { return addToHistory(m_Editor.getValue()); }
/** * Adds the current editor value to the history. * * @return true if successfully added (i.e., if editor is a GOE) */ public boolean addToHistory() { return addToHistory(m_Editor.getValue()); }
@Override public void run() { m_CEPanel.addToHistory();
@Override public void run() { m_CEPanel.addToHistory();
m_FilterPanel.addToHistory();
m_FilterPanel.addToHistory();
@Override public void run() { m_AEEPanel.addToHistory(); m_ASEPanel.addToHistory();
@Override public void run() { m_AEEPanel.addToHistory(); m_ASEPanel.addToHistory();
@Override public void run() { m_CLPanel.addToHistory();
@Override public void run() { m_CLPanel.addToHistory();
@Override public void run() { m_CEPanel.addToHistory();
@Override public void run() { m_CEPanel.addToHistory();