This is a minor update to Bookmarks, following from version 1.3 released three days ago. Beyond all the additions in version 1.3, this version adds or fixes:New feature:*Press F2 to rename a bookmark in the code editor.*In other words, if there is a bookmark on the current line*of the code editor, ...
More...