[Github-comments] [geany] Deleting found lines (#690)

philip r brenan notifications at xxxxx
Mon Oct 12 00:34:59 UTC 2015


First I found all the <b>bbbb</b> by pressing F3 which is very useful:

![find-1](https://cloud.githubusercontent.com/assets/7548378/10420003/9b76cec0-707f-11e5-84f1-248c1f2516a2.png)

Then I deleted one line:

![find-2](https://cloud.githubusercontent.com/assets/7548378/10420004/9b77c17c-707f-11e5-881f-0d453137fa84.png)
and the found lines became invalid.  

While this is not a problem on a small file where one can easily  find another <b>bbbb</b>  to work with, on a big file it could be difficult to quickly find another <b>bbbb</b> to use.

By contrast, if I use <b>mark</b>, the marked lines are still correct after deletions:

![find-3](https://cloud.githubusercontent.com/assets/7548378/10420053/bb184050-7080-11e5-9fa6-1e3e49e9ca21.png)

Perhaps there should be a repeat find to easily repeat the last find action or,  in the case of this kind of find, the last find should be repeated automatically as necessary to keep the two panes in synch in this marvellous editor?



---
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/690
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20151011/dfba0855/attachment.html>


More information about the Github-comments mailing list