| OLD | NEW |
| 1 <!DOCTYPE HTML> | 1 <!DOCTYPE HTML> |
| 2 <html i18n-values="dir:textdirection;"> | 2 <html i18n-values="dir:textdirection;"> |
| 3 <head> | 3 <head> |
| 4 <meta charset="utf-8"> | 4 <meta charset="utf-8"> |
| 5 <title i18n-content="title"></title> | 5 <title i18n-content="title"></title> |
| 6 <link rel="icon" href="../../app/theme/history_favicon.png"> | 6 <link rel="icon" href="../../app/theme/history_favicon.png"> |
| 7 <script src="local_strings.js"></script> | 7 <script src="local_strings.js"></script> |
| 8 <script> | 8 <script> |
| 9 /////////////////////////////////////////////////////////////////////////////// | 9 /////////////////////////////////////////////////////////////////////////////// |
| 10 // Globals: | 10 // Globals: |
| (...skipping 785 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 796 } | 796 } |
| 797 | 797 |
| 798 /** | 798 /** |
| 799 * We're called when something is deleted (either by us or by someone | 799 * We're called when something is deleted (either by us or by someone |
| 800 * else). | 800 * else). |
| 801 */ | 801 */ |
| 802 function historyDeleted() { | 802 function historyDeleted() { |
| 803 window.console.log("History deleted"); | 803 window.console.log("History deleted"); |
| 804 historyView.reload(); | 804 historyView.reload(); |
| 805 } | 805 } |
| 806 |
| 807 function reloadList() { |
| 808 historyView.reload(); |
| 809 } |
| 806 </script> | 810 </script> |
| 807 <link rel="stylesheet" href="dom_ui.css"> | 811 <link rel="stylesheet" href="dom_ui.css"> |
| 808 <style> | 812 <style> |
| 809 #results-summary { | 813 #results-summary { |
| 810 margin-top:12px; | 814 margin-top:12px; |
| 811 border-top:1px solid #9cc2ef; | 815 border-top:1px solid #9cc2ef; |
| 812 background-color:#ebeff9; | 816 background-color:#ebeff9; |
| 813 font-weight:bold; | 817 font-weight:bold; |
| 814 padding:3px; | 818 padding:3px; |
| 815 margin-bottom:-8px; | 819 margin-bottom:-8px; |
| (...skipping 102 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 918 </div> | 922 </div> |
| 919 <div class="main"> | 923 <div class="main"> |
| 920 <div id="results-summary"></div> | 924 <div id="results-summary"></div> |
| 921 <div id="results-display"></div> | 925 <div id="results-display"></div> |
| 922 <div id="results-pagination"></div> | 926 <div id="results-pagination"></div> |
| 923 </div> | 927 </div> |
| 924 <div class="footer"> | 928 <div class="footer"> |
| 925 </div> | 929 </div> |
| 926 </body> | 930 </body> |
| 927 </html> | 931 </html> |
| OLD | NEW |