| Plugin Page Form | |
|---|---|
| Plugin Name?: | Error List |
| Category: | Support |
| Plugin Status: | Mature |
| Maintainer: | Slava Pestov |
| Source Forge Account?: | spestov |
| Latest Version?: | 1.3 |
| Released: | June 11, 2003 |
| Where To Download: | http://plugins.jedit.org/plugins/?ErrorList |
| Description: | The Error List plugin provides one-click access, and on-the-spot highlighting of errors generated by Edit Bus?-aware packages, such as the Console. |
| Compatibility: | Works With 42?, Supports Dynamic Loading? |
| Topic ErrorList . { Edit | Attach | Ref-By | Printable | Diffs | r1.2 | > | r1.1 | More } |
|
Revision r1.2 - 09 Feb 2004 - 08:24 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. |