public class BookmarkManager extends Object implements de.cismet.tools.configuration.Configurable
| Constructor and Description |
|---|
BookmarkManager() |
| Modifier and Type | Method and Description |
|---|---|
void |
add(Bookmark bookmark)
DOCUMENT ME!
|
void |
configure(org.jdom.Element parent) |
Collection<Bookmark> |
getBookmarks()
DOCUMENT ME!
|
org.jdom.Element |
getConfiguration() |
void |
loadFromFile(File bookmarkFile)
DOCUMENT ME!
|
void |
masterConfigure(org.jdom.Element parent) |
void |
remove(Bookmark bookmark)
DOCUMENT ME!
|
void |
saveToFile(File file)
DOCUMENT ME!
|
public void add(Bookmark bookmark)
bookmark - DOCUMENT ME!public void remove(Bookmark bookmark)
bookmark - DOCUMENT ME!public Collection<Bookmark> getBookmarks()
public void configure(org.jdom.Element parent)
configure in interface de.cismet.tools.configuration.Configurablepublic void masterConfigure(org.jdom.Element parent)
masterConfigure in interface de.cismet.tools.configuration.Configurablepublic org.jdom.Element getConfiguration()
throws de.cismet.tools.configuration.NoWriteError
getConfiguration in interface de.cismet.tools.configuration.Configurablede.cismet.tools.configuration.NoWriteErrorpublic void loadFromFile(File bookmarkFile)
bookmarkFile - DOCUMENT ME!public void saveToFile(File file)
file - DOCUMENT ME!Copyright © 2012–2026 cismet GmbH. All rights reserved.