Awesome, thank you. My folly was not checking the Add-ons page before trying the upgrade.
(Arguably Firefox could introduce some sort of a prompt that there are new plugin versions available and offer to restart Firefox, which I haven't done in a while). Boris Brudnoy Founder and Web App Architect, Healthometry™ http://www.healthometry.com M: 416-831-3999 On Thu, Apr 4, 2013 at 10:54 AM, Thomas Broyer <[email protected]> wrote: > > On Thursday, April 4, 2013 4:26:52 PM UTC+2, Boris Brudnoy wrote: >> >> Hi there, >> >> Today the Firefox browser prompted me with the next recommended upgrade, >> version 20, and told me that the GWT Dev Mode plugin would be clobbered. I >> haven't seen anyone else post about FF20 and so hopefully this'll be the >> post to follow update once the GWT team publishes the compatible DM plugin >> revision. >> > > Brian published the plugin earlier this week, in time for the 20.0 > release: > https://code.google.com/p/google-web-toolkit/issues/detail?id=8084 > > -- > You received this message because you are subscribed to a topic in the > Google Groups "Google Web Toolkit" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/google-web-toolkit/drxEbm3vJps/unsubscribe?hl=en > . > To unsubscribe from this group and all its topics, send an email to > [email protected]. > To post to this group, send email to [email protected]. > Visit this group at > http://groups.google.com/group/google-web-toolkit?hl=en. > For more options, visit https://groups.google.com/groups/opt_out. > > > -- You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/google-web-toolkit?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
