/jEdit/tags/jedit-4-0-pre5/doc/tips/tip6.html
# · HTML · 3 lines · 3 code · 0 blank · 0 comment · 0 complexity · ab3778aa29433c5197cff85be6aed561 MD5 · raw file
- <html><body>Try right-clicking on the text area. The menu that appears
- can be customized in the <b>Utilities</b>><b>Global Options</b>
- dialog box.</body></html>