gwt "CssResource.style" mögliche Werte, wie die Verschleierung eingeschaltet wird

Gibt es eine Dokumentation von gwt.xml, eine Liste der Einstellungen mit allen akzeptierten Werten? In meinem Fall habe ich die CSS-Verschleierung in der Debug- / Entwicklerumgebung deaktiviert. Aber für die Produktionsumgebung möchte ich es einschalten. Das gleiche, was ich mit "gwt.enableDebugId" gemacht habe, ist wahr in .gwt.xml und falsch in -production.gwt.xml - das funktioniert gut. Das gleiche möchte ich mit "CssResource.style".

Das einzige, was ich bisher gefunden habe, war der Wert "obf", aber es scheint, dass der Wert auch "vom Menschen lesbare Klassen" erzeugthier für Beispiel. Ich habe diesen Wert ausprobiert, aber die Namen bleiben schön.

die Klarstellung verlangte: dies schaltet die CSS-Verschleierung aus:

<set-configuration-property name="CssResource.style" value="pretty"/>

aber wie man es einschaltet?

Antworten auf die Frage(2)

Ihre Antwort auf die Frage