Additional options for numberedbookmarks
- Always save bookmarks, even if file has not changed
- Always try to load bookmarks, even if file has changed
You can view, comment on, or merge this pull request online at:
https://github.com/geany/geany-plugins/pull/1413
Commit Summary
- 0baf2d5 numberedbookmarks additional options
File Changes
(2 files)
Patch Links:
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.
Message ID: <geany/geany-plugins/pull/1413@github.com>