/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

  1. <html><body>Try right-clicking on the text area. The menu that appears
  2. can be customized in the <b>Utilities</b>&gt;<b>Global Options</b>
  3. dialog box.</body></html>