Add navigation controls to DevTools screencast view

Source/devtools/protocol.json

Index: Source/devtools/protocol.json
diff --git a/Source/devtools/protocol.json b/Source/devtools/protocol.json
index 2ceec971b917e01a09d71f3c6894fd400e758aba..952534edf1aa3370be44ecef5336495f2ad87619 100644
--- a/Source/devtools/protocol.json
+++ b/Source/devtools/protocol.json
@@ -184,6 +184,16 @@
                 "type": "string",
                 "description": "Unique script identifier.",
                 "hidden": true
+            },
+            {
+                "id": "NavigationHistoryEntry",

[pfeldman, 2013/09/05 11:34:13]

NavigationEntry

[Vladislav Kaznacheev, 2013/09/05 12:53:55]

Done.

+                "type": "object",
+                "description": "Navigation history entry.",
+                "properties": [
+                  { "name": "url", "type": "string", "description": "Navigation history entry url." },
+                  { "name": "title", "type": "string", "description": "Navigation history entry title." }
+                ],
+                "hidden": true
             }
         ],
         "commands": [
@@ -229,6 +239,24 @@
                 "description": "Navigates current page to the given URL."
             },
             {
+              "name": "getNavigationHistory",
+              "parameters": [],
+              "returns": [
+                { "name": "currentIndex", "type": "integer", "description": "Index of the current navigation history entry." },
+                { "name": "entries", "type": "array", "items": { "$ref": "NavigationHistoryEntry"}, "description": "Array of navigation history entries." }
+              ],
+              "description": "Returns navigation history for the current page.",
+              "hidden": true
+            },
+            {
+              "name": "navigateToHistoryEntry",
+              "parameters": [
+                  { "name": "index", "type": "integer", "description": "Index of the navigation history entry." }

[pfeldman, 2013/09/05 11:34:13]

Index is not identifying the entry properly.

[Vladislav Kaznacheev, 2013/09/05 12:53:55]

Replaced with unique id
On 2013/09/05 11:34:13, pfeldman wrote:

+              ],
+              "description": "Navigates current page to the given history entry.",
+              "hidden": true
+            },
+            {
                 "name": "getCookies",
                 "returns": [
                     { "name": "cookies", "type": "array", "items": { "$ref": "Cookie"}, "description": "Array of cookie objects." },