Which tools module should I use?

[mathias]

EDIT nvm, did actually find some doc. For pro and above, use "com.smartgwtee.tools.Tools".

Going through the GWT-js setup in my different projects, I noticed that there are different "inherits"-rows that refer to different tools-libraries:

 <inherits name="com.smartgwt.tools.SmartGwtTools"/> <inherits name="com.smartgwtpro.tools.Tools"/> <inherits name="com.smartgwtee.tools.Tools"/>

I couldn't find any documentation regarding what is what and which one to use in which circumstances. Anything you could shed a light on? Thanks in advance

[Isomorphic]

SmartGwtTools is the LGPL tools smartgwtee.Tools is tools that come in the paid edition. Using the “smartgwtpro” package name has been obsolete for several versions and that’s why it doesn’t appear in docs.

[mathias]

Thanks!