## Welcome to jEdit 4.2.

Useful menu commands:

- To customize jEdit: Utilities>Global Options.
- To install plugins: Plugins>Plugin Manager.
- To customize plugins: Plugins>Plugin Options.
- To open this window: Help>jEdit Help.

jEdit is free software, and you are welcome to redistribute and modify it under certain conditions. See the license section of the read me file for details.

If you think you have found a bug, please consult the Frequently Asked Questions document first.

To give feedback, subscribe to mailing lists or find out about the latest developments in the world of jEdit, visit www.jedit.org.