#3748 localization missing in Plugin Manager mirrors

closed-fixed
5
2012-10-05
2012-10-04
Jojaba
No

See screenshot ;)
jEdit version 5.1 pre1

Discussion

  • Jojaba

    Jojaba - 2012-10-04

    2 strings are not localised

     
  • Matthieu Casanova

    The first option is now localizable with string
    options.plugin-manager.list-cache.minutes

    the second one was already available:
    options.plugin-manager.disable-obsolete

     
  • Matthieu Casanova

    • status: open --> closed-fixed
     

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks