475                             % filename)

   475                             % filename)

   476 

   476 

   477     # high level methods for HTML headers management ##########################

   477     # high level methods for HTML headers management ##########################

   478 

   478 

   479     def add_onload(self, jscode):

   479     def add_onload(self, jscode):

   481 

   481 

   482     def add_js(self, jsfiles, localfile=True):

   482     def add_js(self, jsfiles, localfile=True):

   483         """specify a list of JS files to include in the HTML headers

   483         """specify a list of JS files to include in the HTML headers

   484         :param jsfiles: a JS filename or a list of JS filenames

   484         :param jsfiles: a JS filename or a list of JS filenames

   485         :param localfile: if True, the default data dir prefix is added to the

   485         :param localfile: if True, the default data dir prefix is added to the