jEdit / Bugs / #1346 unhandled plugin exception message

#1346 unhandled plugin exception message

Milestone: minor bug

Status: closed-fixed

Owner: nobody

Labels: GUI / mouse (36)

Priority: 5

Updated: 2002-10-25

Created: 2002-10-24

Creator: Brad Mace

Private: No

When an unhandled exception occurs in a plugin, the
message that pops up referes you to Utilities->Activity
Log, but should now point to
Utilities->Troubleshooting->Activity Log

Discussion

Slava Pestov - 2002-10-25

status: open --> closed-fixed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Slava Pestov - 2002-10-25

Logged In: YES
user_id=2280

fixed in pre6

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

unhandled plugin exception message

jEdit is a programmer's text editor written in Java.

Group

Searches

Help

#1346 unhandled plugin exception message

Discussion