Interface DefaultToolChangeListener


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

    Modifier and Type
    Method
    Description
    void
    defaultToolChanged(String oldName, String newName)
    Notification that the default tool specification changed
  • Method Details

    • defaultToolChanged

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