public interface BookmarkManager
|Modifier and Type||Method and Description|
Return stored bookmarks
Stores bookmark to this manager
void storeBookmark(String bookmark, Collection<String> previous)
bookmark- new bookmark to store
previous- previous bookmarks that are to be replaced by new bookmark, may be empty
Copyright © 2011–2017 Pivotal Software, Inc.. All rights reserved.