Additional options for numberedbookmarks

  1. Always save bookmarks, even if file has not changed
  2. 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

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>