[Github-comments] [geany] Restoring bookmarks on undo (#835)
philip r brenan
notifications at xxxxx
Sun Dec 20 19:12:51 UTC 2015
![bookmark1](https://cloudgithubusercontentcom/assets/7548378/11919511/55f6ad34-a74d-11e5-8226-da7613cd35e8png)
![bookmark2](https://cloudgithubusercontentcom/assets/7548378/11919512/55fbbdc4-a74d-11e5-9ded-9e3918b5567apng)
![bookmark3](https://cloudgithubusercontentcom/assets/7548378/11919513/55fd3708-a74d-11e5-85b4-785178ef8d6bpng)
Please consider having undo restore the original bookmark in the above sequence where I deleted a line containing a bookmark and then decided to restore said line by using undo to recover it
<b>Thanks!</b>
---
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/835
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20151220/d3378d20/attachment.html>
More information about the Github-comments
mailing list