How to specify -style PRETTY in com.google.gwt.dev.DevMode

GWT 2.0.4 seems to have removed support for the -style argument:

Unknown argument:开发者_JAVA技巧 -style PRETTY

How can I get DevMode to generate readable Javascript output so that I can use Firebug to usefully profile it?

DevMode doesn't compile your Java code to JavaScript (that's what DevMode is for: execute your Java code as Java so you can bind a Java debugger) so there's no need for a "-style".

Previous versions of GWT had a "compile and run" button in the HostedMode, which took into account the "-style" given on the command line, but this is no longer the case so there's no need for a "-style" parameter. You'll find it on Compiler though, of course.

Are you using the Google Plugin for Eclipse? It has a setting for that.