Hi Detlev, Thanks for your prompt answer. It all worked perfectly!
Regards, Tony. On Sat, 2018-09-01 at 17:48 +0200, Detlev Offenbach wrote: Hello, yes it is safe to delete the obsolete plug-ins. Just use the plug-in uninstall dialog, select the user area and check the "keep configuration data" check box. All plug-ins marked as "obsolete" have been moved to the eric6 core and have been or will be evolved together with eric6. The obsolete ones will not get any further treatment and will be removed from the plug-ins repository shortly. Regards, Detlev Am Samstag, 1. September 2018, 12:19:06 CEST schrieb Tony Arnold: Is it safe to delete the obsolete plugins in 18.08? By safe, I mean, I won't lose any functionality or break anything? Regards, Tony. -- Tony Arnold MBCS, CITP | Senior IT Security Analyst | Directorate of IT Services | G64, Kilburn Building | The University of Manchester | Manchester M13 9PL | T: +44 161 275 6093 | M: +44 773 330 0039 _______________________________________________ Eric mailing list [email protected]<mailto:[email protected]> https://www.riverbankcomputing.com/mailman/listinfo/eric -- Tony Arnold MBCS, CITP | Senior IT Security Analyst | Directorate of IT Services | G64, Kilburn Building | The University of Manchester | Manchester M13 9PL | T: +44 161 275 6093 | M: +44 773 330 0039
_______________________________________________ Eric mailing list [email protected] https://www.riverbankcomputing.com/mailman/listinfo/eric
