35
35
page.write("<script type=\"text/javascript\">\n");
36
36
page.write("//<![CDATA[\n");
37
37
//page.write("document.write(\"<script language='javascript' src='./jquery/jquery-1.4.4.min.js'><\\/script>\");\n");
38
page.write("document.write(\"<script language='javascript' src='./jquery/jquery-1.7.1.min.js'><\\/script>\");\n");
39
page.write("document.write(\"<script language='javascript' src='./js/highcharts.js'><\\/script>\");\n");
40
page.write("document.write(\"<script language='javascript' src='./js/modules/exporting.js'><\\/script>\");\n");
38
page.write("document.write(\"<script language='javascript' "
39
+ "src='./jquery/jquery-1.7.1.min.js'><\\/script>\");\n");
40
page.write("document.write(\"<script language='javascript' "
41
+ "src='./js/highcharts.js'><\\/script>\");\n");
42
page.write("document.write(\"<script language='javascript' "
43
+ "src='./js/themes/dark-blue.js'><\\/script>\");\n");
44
page.write("document.write(\"<script language='javascript' "
45
+ "src='./js/themes/dark-green.js'><\\/script>\");\n");
46
page.write("document.write(\"<script language='javascript' "
47
+ "src='./js/themes/gray.js'><\\/script>\");\n");
48
page.write("document.write(\"<script language='javascript' "
49
+ "src='./js/themes/grid.js'><\\/script>\");\n");
50
page.write("document.write(\"<script language='javascript' "
51
+ "src='./js/modules/exporting.js'><\\/script>\");\n");
41
52
page.write("//]]>\n</script>\n");
42
53
super.writeAjaxPageHtmlVaadinScripts(window, themeName, application,
43
54
page, appUrl, themeUri, appId, request);