jEdit / Bugs / #20 plugin holder missing Plugins.gif

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

#20 plugin holder missing Plugins.gif

Milestone: severe bug

Status: closed-fixed

Owner: Kevin A. Burton

Labels: MacOSX specific (474)

Priority: 8

Updated: 2000-07-11

Created: 2000-06-18

Private: No

The PluginHolder distribution on plugin central is missing the Plugin.gif file.

Discussion

Slava Pestov - 2000-06-18

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

Slava Pestov - 2000-06-21

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

Slava Pestov - 2000-07-11

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