diff include/urweb.h @ 643:aa2290c32ce2

Avoid any JavaScript when pages don't need it; update demo prose
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Mar 2009 10:44:26 -0400
parents 3d56940120b1
children 1b571a05874c
line wrap: on
line diff
--- a/include/urweb.h	Sun Mar 08 20:34:21 2009 -0400
+++ b/include/urweb.h	Tue Mar 10 10:44:26 2009 -0400
@@ -39,6 +39,7 @@
 uw_Basis_int uw_Basis_new_client_source(uw_context, uw_Basis_string);
 uw_unit uw_Basis_set_client_source(uw_context, uw_Basis_int, uw_Basis_string);
 
+void uw_set_script_header(uw_context, const char*);
 char *uw_Basis_get_script(uw_context, uw_unit);
 
 char *uw_Basis_htmlifyInt(uw_context, uw_Basis_int);