|Full source code is included in the Tinman 3D SDK download.|
A GUI component that allows to manage the JSON settings of a Widget.
Label for the caption of a bookmark entry.
Label arguments (see Format):
#0 : one-based bookmark index
Creates a new instance of BookmarksGui.
Deletes a settings file.
If an I/O error has occurred while deleting the settings file.
Loads a settings file.
If an I/O error has occurred while reading the settings file.
If the contents of the settings file is malformed.
The IWidget object to use.