FYI: https://youtrack.jetbrains.com/issue/IDEA-379830
What do we use for GWT development/maintenance then? -- You received this message because you are subscribed to the Google Groups "GWT Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/google-web-toolkit/de552e7e-110d-42f1-b7c5-9d81daf3ba51n%40googlegroups.com.
