Plugins->Plugin Manager to get started customizing jEdit for your needs. You'll find plugins for code completion, formatting, compiling, and many other things. Plugins can be docked to the main window by opening them and clicking the triangle in their upper left corner.
The main settings panel is under Utilities->Global Options. Plugin settings can be accessed through Plugins->Plugin Options.
If you need help there are a number of places to get it:
| Topic TipsForNewUsers . { Edit | Attach | Ref-By | Printable | Diffs | r1.6 | > | r1.5 | > | r1.4 | More } |
|
Revision r1.6 - 29 Oct 2003 - 16:56 GMT - Brad Mace Parents: Web Home |
Copyright © 1999-2004 by the contributing authors.
All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding jEdit Community Wiki? Send feedback. |