Fixed it.
Note to myself. Never drink Jågermeister and push to git. :) Am 21.11.2012 um 18:49 schrieb Johannes Barop: > Thanks for pointing that out. > > Am 21.11.2012 um 18:38 schrieb Thomas Broyer: > >> Just a small note: why are you inheriting c.g.g.logging.Logging? You don't >> need to inherit anything if you just use java.util.logging, and if you need >> to use classes from c.g.g.logging.client then you should rather inherit >> LoggingDisabled. >> >> On Wednesday, November 21, 2012 6:17:25 PM UTC+1, Johannes Barop wrote: >> Hello GWT community, >> >> I've just released gwt-pushstate. It implements HTML5 pushState with GWTs >> standard History API and should work with existing applications fairly well. >> It also makes sure that the development mode doesn't break and provides a >> transparent fallback for non-pushState browsers. It's open source (Apache2) >> and uploaded to the Maven central repository. You can find the source here: >> https://github.com/jbarop/gwt-pushstate >> >> A running sample application is uploaded here: >> http://gwt-pushstate-examples.appspot.com >> The sample is basicly GWTP-0.7's gwtp-sample-hplace with little >> modifications to add the pushState support: >> https://github.com/jbarop/gwt-pushstate/commit/a3d278b2fae71adc4ea7fb22c5eb121ada36b644 >> >> >> >> Any feedback heavily appreciated. >> Johannes >> >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Google Web Toolkit" group. >> To view this discussion on the web visit >> https://groups.google.com/d/msg/google-web-toolkit/-/NyulPSwagEIJ. >> To post to this group, send email to [email protected]. >> To unsubscribe from this group, send email to >> [email protected]. >> For more options, visit this group at >> http://groups.google.com/group/google-web-toolkit?hl=en. > -- You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/google-web-toolkit?hl=en.
