PageRenderTime 81ms CodeModel.GetById 40ms app.highlight 1ms RepoModel.GetById 40ms app.codeStats 0ms

/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>