[Desktop-packages] [Bug 1125314] Re: Plugin update does not actually upgrade plugins: Eclipse Scala IDE

2014-04-08 Thread Bug Watch Updater
Launchpad has imported 2 comments from the remote bug at https://bugs.eclipse.org/bugs/show_bug.cgi?id=383846. If you reply to an imported comment from within Launchpad, your comment will be sent to the remote bug automatically. Read more about Launchpad's inter-bugtracker facilities at https://he

[Desktop-packages] [Bug 1125314] Re: Plugin update does not actually upgrade plugins: Eclipse Scala IDE

2013-02-15 Thread Robin Green
Sorry, correction - that eclipse bug report describes BOTH manifestations of this bug - upgrading AND installing. I got confused because I'd encountered the installing manifestation first, and found the workaround at that eclipse bug report. -- You received this bug notification because you are

[Desktop-packages] [Bug 1125314] Re: Plugin update does not actually upgrade plugins: Eclipse Scala IDE

2013-02-15 Thread Robin Green
I think this bug manifests in two forms: in the first form, shown in the eclipse bug I just linked, installed plugins don't get installed properly. I've applied the workaround for that first form, and so I think I saw the bug in its second form: upgraded plugins don't get upgraded properly. I bel