#197 Fix for plugins that cannot be removed

for 5.2.x
closed-accepted
Alan Ezust
None
5
2014-07-31
2014-07-29
No

Please merge 23626 to fix unloaded plugins that cannot be removed on Windows

http://sourceforge.net/p/jedit/svn/23626

http://sourceforge.net/p/jedit/bugs/3877

Discussion

  • Alan Ezust
    Alan Ezust
    2014-07-31

    • status: pending-rejected --> closed-accepted
    • assigned_to: Alan Ezust
     
  • Alan Ezust
    Alan Ezust
    2014-07-31

    Committed 23638.