comparison 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
comparison
equal deleted inserted replaced
642:4a125bbc602d 643:aa2290c32ce2
37 void uw_write(uw_context, const char*); 37 void uw_write(uw_context, const char*);
38 38
39 uw_Basis_int uw_Basis_new_client_source(uw_context, uw_Basis_string); 39 uw_Basis_int uw_Basis_new_client_source(uw_context, uw_Basis_string);
40 uw_unit uw_Basis_set_client_source(uw_context, uw_Basis_int, uw_Basis_string); 40 uw_unit uw_Basis_set_client_source(uw_context, uw_Basis_int, uw_Basis_string);
41 41
42 void uw_set_script_header(uw_context, const char*);
42 char *uw_Basis_get_script(uw_context, uw_unit); 43 char *uw_Basis_get_script(uw_context, uw_unit);
43 44
44 char *uw_Basis_htmlifyInt(uw_context, uw_Basis_int); 45 char *uw_Basis_htmlifyInt(uw_context, uw_Basis_int);
45 char *uw_Basis_htmlifyFloat(uw_context, uw_Basis_float); 46 char *uw_Basis_htmlifyFloat(uw_context, uw_Basis_float);
46 char *uw_Basis_htmlifyString(uw_context, uw_Basis_string); 47 char *uw_Basis_htmlifyString(uw_context, uw_Basis_string);