1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> |
1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> |
2 <html xmlns="http://www.w3.org/1999/xhtml" dir="ltr" lang="en-EN"> |
2 <html xmlns="http://www.w3.org/1999/xhtml" dir="ltr" lang="en-EN"> |
3 |
3 |
4 <head> |
4 <head> |
5 <script src="../../js/3rdparty/jquery-1.4.2.js" type="text/javascript"></script> |
5 <script src="../../js/3rdparty/jquery-1.4.2.min.js" type="text/javascript"></script> |
6 <script src="../../js/3rdparty/jquery-ui/ui.core.js" type="text/javascript"></script> |
6 <script src="../../js/3rdparty/jquery-ui/ui.core.js" type="text/javascript"></script> |
7 <script src="../../js/3rdparty/jquery-ui/effects.core.js" type="text/javascript"></script> |
7 <script src="../../js/3rdparty/jquery-ui/effects.core.js" type="text/javascript"></script> |
8 <script src="../../js/3rdparty/jquery-ui/effects.blind.js" type="text/javascript"></script> |
8 <script src="../../js/3rdparty/jquery-ui/effects.blind.js" type="text/javascript"></script> |
9 <link rel="stylesheet" id="CSSLink" type="text/css" href="historyview.css"/> |
9 <link rel="stylesheet" id="CSSLink" type="text/css" href="historyview.css"/> |
10 <meta name = "viewport" content = "width = device-width, height = device-height, initial-scale = 1.0, user-scalable = no"> |
10 <meta name = "viewport" content = "width = device-width, height = device-height, initial-scale = 1.0, user-scalable = no"> |
11 |
11 |
12 <title>History View</title> |
12 <title>History View</title> |
13 <script src="historyview.js" type="text/javascript"></script> |
13 <script src="historyview.js" type="text/javascript"></script> |
14 |
14 |
15 <script type="text/javascript"> |
15 <script type="text/javascript"> |
16 function update() { |
16 function update() { |
17 //window.pageController.loadFinished.connect(updateHistoryList); |
17 updateHistoryList(); |
18 updateHistoryList(); |
|
19 |
|
20 } |
18 } |
21 </script> |
19 </script> |
22 |
20 |
23 </head> |
21 </head> |
24 <body onload="update()"> |
22 <body onload="update()"> |