« Previous | Next » 

Revision e4ac2d18

IDe4ac2d18111dd1bb31718cda4266de7326bf6973

Added by Kostas Papadimitriou over 7 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