Adapter class for bookmark managers.
More...
List of all members.
Detailed Description
Adapter class that can be used by objects that want to listen on bookmark managers but only need to process few events.
Member Function Documentation
| void BinNavi.API.debug.IBookmarkManagerListener.addedBookmark |
( |
BookmarkManager |
manager, |
|
|
Bookmark |
bookmark | |
|
) |
| | [package, inherited] |
Invoked after a new bookmark was added to the bookmark manager.
- Parameters:
-
| manager | The bookmark manager where the bookmark was added. |
| bookmark | The bookmark that was added to the manager. |
| void BinNavi.API.debug.IBookmarkManagerListener.removedBookmark |
( |
BookmarkManager |
manager, |
|
|
Bookmark |
bookmark | |
|
) |
| | [inherited] |
Invoked after an existing bookmark was removed from the bookmark manager.
- Parameters:
-
| manager | The bookmark manager from where the bookmark was removed. |
| bookmark | The bookmark that was removed from the manager. |