OLD | NEW |
1 <html> | 1 <html> |
2 <link rel="stylesheet" type="text/css" href="extensions_toolstrip.css"> | |
3 <script> | 2 <script> |
4 var dump = function(obj, indent) { | 3 var dump = function(obj, indent) { |
5 if (indent === undefined) | 4 if (indent === undefined) |
6 indent = ""; | 5 indent = ""; |
7 if (typeof obj == "object") { | 6 if (typeof obj == "object") { |
8 var ret = "{<br/>"; | 7 var ret = "{<br/>"; |
9 var child_indent = indent + " "; | 8 var child_indent = indent + " "; |
10 for (var item in obj) { | 9 for (var item in obj) { |
11 var child = null; | 10 var child = null; |
12 try { | 11 try { |
(...skipping 68 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
81 </script> | 80 </script> |
82 <body> | 81 <body> |
83 <div class="toolstrip-button" onclick="dumpBookmarks(window.event);"> | 82 <div class="toolstrip-button" onclick="dumpBookmarks(window.event);"> |
84 <span>Dump Bookmarks</span> | 83 <span>Dump Bookmarks</span> |
85 </div> | 84 </div> |
86 <div class="toolstrip-button" onclick="testMoveBookmarks(window.event);"> | 85 <div class="toolstrip-button" onclick="testMoveBookmarks(window.event);"> |
87 <span>Test Move</span> | 86 <span>Test Move</span> |
88 </div> | 87 </div> |
89 </body> | 88 </body> |
90 </html> | 89 </html> |
OLD | NEW |