/jEdit/tags/jedit-4-2-pre14/doc/tips/tip37.html
# · HTML · 3 lines · 3 code · 0 blank · 0 comment · 0 complexity · 87c910383d3e87fd3a4b387ceb25ce32 MD5 · raw file
- <html><body>You can toggle the search bar's <b>Ignore Case</b> check
- box by pressing <b>C+e C+i</b>, and the
- <b>Regular Expressions</b> check box by pressing <b>C+e C+x</b>.</body></html>