code: public void pushHistory(String strHistory)
      {
          if (m_vHistory == null)
              m_vHistory = new Vector<String>();
          m_vHistory.addElement(strHistory);
      }
docs: Push this command onto the history stack.
  NOTE: Do not use this method in most cases, use the method in BaseApplet.
  @param strHistory The history command to push onto the stack.