« Previous | Next » 

Revision e4ac2d18


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.


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences