Interface DefaultToolChangeListener


  • public interface DefaultToolChangeListener
    Listener that is notified when the default tool specification changes.
    • Method Detail

      • defaultToolChanged

        void defaultToolChanged​(java.lang.String oldName,
                                java.lang.String newName)
        Notification that the default tool specification changed
        Parameters:
        oldName - name of the old default tool
        newName - name of the new default tool