/jEdit/tags/jedit-4-0-pre5/doc/tips/tip19.html

# · HTML · 3 lines · 3 code · 0 blank · 0 comment · 0 complexity · a643dc45afd9bf3d28331b84eacfebaa MD5 · raw file

  1. <html><body>You can add and remove buttons in the tool bar in the
  2. <b>Tool Bar</b> pane of the <b>Utilities</b>&gt;<b>Global Options</b>
  3. dialog box.</body></html>