#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

     
  • 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

     
    • status: open --> closed-fixed