good catch! It's a bug in GWT. Roberto is fixing it and will propose a patch for that.
On Thu, Apr 6, 2017 at 3:17 PM Jens <jens.nehlme...@gmail.com> wrote: > Hmm, I have just built gwt head from source and used the above jars but > SDM tells me: > > Errors in jsinterop/base/Js.java > [ERROR] Line 56: JsProperty 'void Js.debugger()' should have a > correct setter or getter signature. > > > Can anyone confirm? > > > -- J. > > -- > You received this message because you are subscribed to the Google Groups > "GWT Contributors" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to google-web-toolkit-contributors+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/google-web-toolkit-contributors/d460f0fb-6519-4eab-869b-4838e51077ad%40googlegroups.com > <https://groups.google.com/d/msgid/google-web-toolkit-contributors/d460f0fb-6519-4eab-869b-4838e51077ad%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "GWT Contributors" group. To unsubscribe from this group and stop receiving emails from it, send an email to google-web-toolkit-contributors+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/google-web-toolkit-contributors/CABb_3%3D67CuAEYB6gKfX7tSoRGCtGfCL0QTn%3D9ZoLDArec__bbA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.