« Previous | Next » 

Revision e4ac2d18

IDe4ac2d18111dd1bb31718cda4266de7326bf6973

Added by Kostas Papadimitriou about 11 years ago

Extend otherProperties with branding settings

otherProperties object defined in the index.html is used from within the GWT
app to access deployment specific configuration options. A new placeholder added
in index.html. The placeholder gets replaced with django template code which
populates otherProperties with all branding settings available during the
python package build.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences