Re: It should be registered via or entry in your .gwt.xml ?

Looks like the element is missing from the dtd? https://gwt.googlesource.com/gwt.git/+/master/distro-source/core/src/gwt-module.dtd

On Wednesday, December 30, 2015 at 4:22:44 PM UTC-8, Thomas Broyer wrote:

On Thursday, December 31, 2015 at 12:45:11 AM UTC+1, cellepo wrote:

It doesn't look like <resource /> is a possible Element type in GWT 2.7?

I can add <source />, but when I add a <resource />...

The content of element type "module" must match "(inherits|source|public|super-source|entry-point|stylesheet|

 script|servlet|replace-with|generate-with|define-property|extend-property|set-property|set-property-fallback|

 clear-configuration-property|define-configuration-property|extend-configuration-property|set-configuration-

 property|property-provider|define-linker|add-linker|collapse-all-properties|collapse-property)*".

 

Unless I'm missing it, I don't see resource in that list, which seems to be why I can't add a <resource \>.  Unless I'm missing something? 

GWT doesn't validate the XML (using a DTD or schema); so this error message doesn't come from GWT.

…and yes the DTD is out of date. Patch welcome (real "schema" is defined in ModuleDefSchema class)

 

On Tuesday, March 24, 2015 at 1:58:01 PM UTC-4, MacWiz wrote:

Thanks Thomas.  Adding a <resource path="public" /> fixed these.  I thought I had tried that, but apparently not.  As far as the location of the images, we are discussing moving them, as you suggest.  They've been in our public area since the beginning of our GWT based work many years ago (starting with GWT v1.3, I believe.)

--
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 google-web-toolkit+unsubscribe@googlegroups.com.
To post to this group, send email to google-web-toolkit@googlegroups.com.
Visit this group at https://groups.google.com/group/google-web-toolkit.
For more options, visit https://groups.google.com/d/optout.