Bookmarks
GUI component
A user interface widget (see IWidget
API) may have persistent settings which are stored in a plain JSON file.
The Bookmarks GUI component can be used to define up to ten bookmarks: each bookmark represents a separate JSON settings file, including a screenshot of the corresponding visual output of the widget.
This is an example for a JSON settings file of the Mandelbrot tutorial:
{ "gui": { "slots": [{ "collapsed": false, "panels": [{ "name": "Mandelbrot", "collapsed": true }, { "name": "Bookmarks", "collapsed": false }] }, { "collapsed": false }] }, "mandelbrot": { "bounds": [{ "pMin": -2, "pMax": 0.5, "qMin": -1.25, "qMax": 1.25 }] } }}
Usually, the settings include the user interface state (e.g. collapsed state of trees and panels, state of checkboxes or choices, etc. ) as well as the state of the widget itself, such as camera position, map coordinates or zoom level.
The buttons and corresponding keyboard shortcuts can be used to manage bookmarks quickly.