| 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 |