One last thing that every user of jEdit should know about is the "activity log". The activity log is very useful for plugin developers, and when troubleshooting. jEdit writes the following information to the activity log:
All error messages and runtime exceptions (most of these display dialog boxes, as well; but the activity log usually contains more detailed information)
Information about your Java implementation (version, operating system, architecture, etc)
Information about loaded plugins
Messages when files are opened and closed. This can be useful in determining what caused an exception
The directory list search logs all file names that will be searched
Some plugins may log additional information as well
Utilities>Activity Log displays a window showing the activity log. Text can be copied from the log by selecting it and pressing Control-C.
To clear the activity log, click the Clear Log button in the log window. To save the activity log to a file, click Save Log.
Figure 3-11. The activity log