file_saver#

Bookmarks’ file saver widget.

File names are generated based on the settings saved in the currently active bookmark item. See bookmarks.editor.bookmark_properties and bookmarks.tokens modules.