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 a2242e9f4c812d366f566121621a2824d7086313..b514617b68c4aab8c89dfc97b16e914a58203546 100644
--- a/Source/devtools/protocol.json
+++ b/Source/devtools/protocol.json
@@ -184,6 +184,17 @@
                 "type": "string",
                 "description": "Unique script identifier.",
                 "hidden": true
+            },
+            {
+                "id": "NavigationEntry",
+                "type": "object",
+                "description": "Navigation history entry.",
+                "properties": [
+                  { "name": "id", "type": "integer", "description": "Unique id of the navigation history entry." },
+                  { "name": "url", "type": "string", "description": "URL of the navigation history entry." },
+                  { "name": "title", "type": "string", "description": "Title of the navigation history entry." }
+                ],
+                "hidden": true
             }
         ],
         "commands": [
@@ -229,6 +240,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": "NavigationEntry"}, "description": "Array of navigation history entries." }
+              ],
+              "description": "Returns navigation history for the current page.",
+              "hidden": true
+            },
+            {
+              "name": "navigateToHistoryEntry",
+              "parameters": [
+                  { "name": "entryId", "type": "integer", "description": "Unique id of the entry to navigate to." }
+              ],
+              "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." },