/jEdit/tags/jedit-4-3-pre5/doc/tips/tip83.html
HTML | 5 lines | 5 code | 0 blank | 0 comment | 0 complexity | 6316ea20ff2cd0f5957028a709473a3f MD5 | raw file
1<html><body> 2The directory search feature of the search dialog box supports searching inside 3virtual file systems such as ZIP or TAR archives (if the <b>Archive</b> plugin 4is installed) or FTP servers (if the <b>FTP</b> plugin is installed). 5</body></html>