Re: [ jEdit-announce ] jEdit 5.4.0 is out!
Vampire <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <CAKChYSoBc+uZ=C9-f9k2qkdXbm5g=OZT2cD5Nkf6hWWg2jSMtQ@mail.gmail.com> |
Am 19.03.2017 21:00 schrieb "Peter Rockett" <[email protected]>: Right. So what is the suggested method of updating to the latest official release? A reinstall? Well, the suggested method of updating to the latest official release is to use the latest official installer. The updater plugin like most plugins are community developed by people who deem that functionality useful and want to maintain it. FWIW: The updater gives you a list of options, one of which is the latest official release. Th implication is that it's broken... I agree, open a ticket in the plugin bugs tracker and hopefully the maintainer for the plugin will take care. It is probably similar to the problems we had with the plugin manager, that SF now is redirecting http to https which correctly is not followed automatically by default classes. Regards Björn ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot -- ----------------------------------------------- jEdit Users' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-users