Menu

#11 Persistent search/replace history

1.0
closed
nobody
None
2022-09-04
2022-06-22
No

This is my patch from 2008 adapted to XNEdit (see https://sourceforge.net/p/nedit/patches/173/)

This patch adds the option to save and share the search/replace history between sessions.
The history file is updated on each new search/replace and is checked on opening the find- or replace-dialog box. It can be switched on/off through the preferences-menu (Preferences -> Default Settings -> Searching -> Save History).

1 Attachments

Discussion

  • Pyrphoros

    Pyrphoros - 2022-06-23

    Thank you for the supplied patch. This looks like a very useful feature. I have done only a little testing yet, but it seems to work without any problems.

    I am planning to mainline the patch soon.

     
  • Pyrphoros

    Pyrphoros - 2022-09-04

    The patch is now integrated.

     
  • Pyrphoros

    Pyrphoros - 2022-09-04
    • status: open --> closed
     

Log in to post a comment.

MongoDB Logo MongoDB