equal
deleted
inserted
replaced
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 |
17 updateHistoryList(); |
17 var _prevExpandedUL = null; |
|
18 var _prevExpandedATag = null; |
|
19 |
|
20 function scrollToTop() |
|
21 { |
|
22 $('html, body').attr({scrollTop: 0}); |
|
23 |
|
24 var todayFolder = document.getElementById("aTagId_"+0); |
|
25 var todaySubUl = document.getElementById("subUlId_"+0); |
|
26 if(_prevExpandedUL != null && _prevExpandedATag.className == 'opened') |
|
27 toggleHistoryFolder(_prevExpandedATag,_prevExpandedUL); |
|
28 _prevExpandedATag = todayFolder; |
|
29 _prevExpandedUL = todaySubUl; |
|
30 toggleHistoryFolder(todayFolder,todaySubUl); |
|
31 |
|
32 } |
|
33 |
|
34 function update() { |
|
35 updateHistoryList(); |
|
36 |
|
37 window.views.WebView.BookmarkHistoryView.shown.connect(scrollToTop); |
18 } |
38 } |
19 </script> |
39 </script> |
20 |
40 |
21 </head> |
41 </head> |
22 <body onload="update()"> |
42 <body onload="update()"> |