/jEdit/tags/jedit-4-0-pre5/doc/tips/tip39.html

# · HTML · 5 lines · 5 code · 0 blank · 0 comment · 0 complexity · 7341dce124fd03a2f4248c77c2a42825 MD5 · raw file 

    

  1. <html><body>The menu displayed when a directory is right-clicked in the
    2. 

  2. file system browser contains a menu item, <b>Search in Directory</b>,
    3. 

  3. which will display a search and replace dialog box set up for searching
    4. 

  4. in all files in that directory whose names match the file name filter
    5. 

  5. currently set in the file system browser.</body></html>
    6.