OLD | NEW |
1 <html> | 1 <html> |
2 <head> | 2 <head> |
3 <script src="../http/tests/inspector/inspector-test.js"></script> | 3 <script src="../http/tests/inspector/inspector-test.js"></script> |
4 <script src="../http/tests/inspector/workspace-test.js"></script> | 4 <script src="../http/tests/inspector/workspace-test.js"></script> |
5 <script src="../http/tests/inspector/debugger-test.js"></script> | 5 <script src="../http/tests/inspector/debugger-test.js"></script> |
6 <script src="resources/example-fileset-for-test.js"></script> | 6 <script src="resources/example-fileset-for-test.js"></script> |
7 <script src="editor/editor-test.js"></script> | 7 <script src="editor/editor-test.js"></script> |
8 <script> | 8 <script> |
9 function test() | 9 function test() |
10 { | 10 { |
11 WebInspector.inspectorView.showPanel("sources"); | 11 WebInspector.inspectorView.showPanel("sources"); |
12 var panel = WebInspector.panels.sources; | 12 var panel = WebInspector.panels.sources; |
13 var sourcesEditor = panel._sourcesEditor; | 13 var sourcesView = panel._sourcesView; |
14 var historyManager = sourcesEditor._historyManager; | 14 var historyManager = sourcesView._historyManager; |
15 var editorContainer = sourcesEditor._editorContainer; | 15 var editorContainer = sourcesView._editorContainer; |
16 | 16 |
17 function rollback() | 17 function rollback() |
18 { | 18 { |
19 historyManager.rollback(); | 19 historyManager.rollback(); |
20 } | 20 } |
21 | 21 |
22 function rollover() | 22 function rollover() |
23 { | 23 { |
24 historyManager.rollover(); | 24 historyManager.rollover(); |
25 } | 25 } |
(...skipping 231 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
257 } | 257 } |
258 } | 258 } |
259 ]); | 259 ]); |
260 }; | 260 }; |
261 </script> | 261 </script> |
262 </head> | 262 </head> |
263 <body onload="runTest()"> | 263 <body onload="runTest()"> |
264 <p>Tests that jumping to previous location works as intended.</p> | 264 <p>Tests that jumping to previous location works as intended.</p> |
265 </body> | 265 </body> |
266 </html> | 266 </html> |
OLD | NEW |