#307 Patch to add pluginset command-line option

open-remind
nobody
None
5
2012-03-01
2010-01-05
Damien
No

This patch allows users to choose which plugins jEdit loads at startup by specifying a PluginSet .xml file through the -pluginset command-line switch.

This is my first patch submission, so it may need a little more testing before being committed.

Discussion

<< < 1 2 (Page 2 of 2)
  • Alan Ezust
    Alan Ezust
    2010-11-25

    I am sorry, this totally fell off my stack. I just tried to apply it and now 1 of the hunks fails against jedit trunk.
    If you revisit and resubmit, I will make a point of testing it faster this time. sorry about that!
    [and there is still a chance of getting it into 4.4 if it works]

     
  • Alan Ezust
    Alan Ezust
    2012-01-25

    • status: open --> open-remind
     
  • Alan Ezust
    Alan Ezust
    2012-03-01

    • assigned_to: ezust --> nobody
     
<< < 1 2 (Page 2 of 2)