I could verify the issue. A clue, It seems that the last emitted permutation is the only one un-obfuscated.
As a workaround you can collapse-all-properties, and the result is PRETTY - Manolo On Wed, Oct 1, 2014 at 11:27 PM, Julien Dramaix <julien.dram...@gmail.com> wrote: > Am I the only one to have this problem ? > > On Fri, Sep 26, 2014 at 11:46 PM, Julien Dramaix <julien.dram...@gmail.com > > wrote: > >> Dear GWT lovers, >> >> I've just tried to compile several projects with the last snapshot of GWT >> 2.7.0 using the PRETTY mode flag and several permutations. I noticed that >> only one js file (corresponding to one permutation) is emitted with non >> obfuscated javascript. The other files for each other permutation contains >> obfuscated javascript. >> >> I've tested with GWT 2.6.1 and everything works as expected: all the >> files contain only non-obfuscated javascript. >> >> Julien >> > > -- > 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%3D4hPmdnqisA62R387c%3D77bVNboxB%3DW9R3%3DBgTFYTtvhNw%40mail.gmail.com > <https://groups.google.com/d/msgid/google-web-toolkit-contributors/CABb_3%3D4hPmdnqisA62R387c%3D77bVNboxB%3DW9R3%3DBgTFYTtvhNw%40mail.gmail.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/CAM28XAu9usDYZNNoC%3D5NN-_sTpEpS4B%2B%3DnayuNsQb2N6iGaTKg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.