#24 Fix library details on plugin manager

for 4.3.x
closed-accepted
None
5
2011-09-24
2010-05-17
No

please merge rev 17836
http://jedit.svn.sourceforge.net/viewvc/jedit?view=rev&revision=17836

this fixes the display of libraries in the Manage panel when you select them

Discussion

  • Eric Le Lay

    Eric Le Lay - 2010-06-06

    merged in r17991

     
  • Eric Le Lay

    Eric Le Lay - 2010-06-06
    • status: open --> closed-accepted
     
  • Björn Kautler

    Björn Kautler - 2011-09-24
    • milestone: --> for 4.3.x
    • assigned_to: nobody --> kerik-sf
     

Log in to post a comment.