Interface Tool.Observer

  • Enclosing class:
    Tool

    public static interface Tool.Observer
    An observer interface for use by those that wishing to monitor changes to a tool.
    • Method Detail

      • titleChanged

        void titleChanged​(Tool source,
                          java.lang.String newValue)
        The title of a tool has been changed.
        Parameters:
        source - The tool whose title has been changed.
        newValue - The new title for the tool.
      • shortTitleChanged

        void shortTitleChanged​(Tool source,
                               java.lang.String newValue)
        The short title of a tool has been changed.
        Parameters:
        source - The tool whose title has been changed.
        newValue - The new title for the tool.
      • toolDisposed

        void toolDisposed​(Tool source)
        A tool has been disposed.
        Parameters:
        source - the tool that has been disposed