public static interface Tool.Observer
Modifier and Type | Method and Description |
---|---|
void |
shortTitleChanged(Tool source,
java.lang.String newValue)
The short title of a tool has been changed.
|
void |
titleChanged(Tool source,
java.lang.String newValue)
The title of a tool has been changed.
|
void |
toolDisposed(Tool source)
A tool has been disposed.
|
void titleChanged(Tool source, java.lang.String newValue)
source
- The tool whose title has been changed.newValue
- The new title for the tool.void shortTitleChanged(Tool source, java.lang.String newValue)
source
- The tool whose title has been changed.newValue
- The new title for the tool.void toolDisposed(Tool source)
source
- the tool that has been disposedCopyright (c) 1996, 2011, Oracle and/or its affiliates. All rights reserved.