Interface ProgressObserver

    • Method Detail

      • setValue

        void setValue​(long value)
        Update the progress value.
        Parameters:
        value - the new value
        Since:
        jEdit 4.3pre3
      • setMaximum

        void setMaximum​(long value)
        Update the maximum value.
        Parameters:
        value - the new maximum value
        Since:
        jEdit 4.3pre3
      • setStatus

        void setStatus​(java.lang.String status)
        Update the status label.
        Parameters:
        status - the new status label
        Since:
        jEdit 4.3pre3