*.ui.xml files have their own UiBinder editor in Eclipse provided by the GPE plugin. It might be that your Eclipse settings regarding CSS simply do not take effect in that editor.
As a workaround you could probably avoid using <ui:style> inline styles and instead create a *.gss file for it, <ui:style src="style.gss" />. Then you might need to tell Eclipse that *.gss are actually css files which sounds doable (I use IntelliJ so I don't know out of my head if that is possible in eclipse) -- J. -- You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/google-web-toolkit. For more options, visit https://groups.google.com/d/optout.
