TProofProgressLog

class TProofProgressLog

    public:

                         TProofProgressLog(TProofProgressDialog* d)
                         TProofProgressLog(const TProofProgressLog&)
                 virtual ~TProofProgressLog()
                    void AddBuffer(const char* buffer)
          static TClass* Class()
                    void Clear()
                    void CloseWindow()
                    void DoClose()
         virtual TClass* IsA() const
                    void LoadBuffer(const char* buffer)
                    void LoadFile(const char* file)
      TProofProgressLog& operator=(const TProofProgressLog&)
                    void Popup()
            virtual void ShowMembers(TMemberInspector& insp, char* parent)
            virtual void Streamer(TBuffer& b)
                    void StreamerNVirtual(TBuffer& b)

Data Members

    private:

          TGTransientFrame* fMain    main frame of this widget
                TGTextView* fText    text widget
              TGTextButton* fClose   close button
      TProofProgressDialog* fDialog  owner dialog

Class Description

 Create a window frame for log messages.

 Delete log window.

 Show log window.

 Clear log window.

 Load a text buffer in the window.

 Load a file in the window.

 Add text to the window.

 Handle close button.

 Called when closed via window manager action.

Inline Functions

                   TClass* Class()
                   TClass* IsA() const
                      void ShowMembers(TMemberInspector& insp, char* parent)
                      void Streamer(TBuffer& b)
                      void StreamerNVirtual(TBuffer& b)
         TProofProgressLog TProofProgressLog(const TProofProgressLog&)
        TProofProgressLog& operator=(const TProofProgressLog&)