Introduce webNavigation.onTabReplaced event that is fired when a tab from instant or prerender repl…

chrome/common/extensions/api/web_navigation.json

 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 [
   {
     "namespace": "webNavigation",
     "types": [],
     "functions": [
       {
@@ skipping 228 matching lines @@
             "properties": {
               "tabId": {"type": "integer", "description": "The ID of the tab in which the navigation occurs."},
               "url": {"type": "string"},
               "frameId": {"type": "integer", "description": "0 indicates the navigation happens in the tab content window; a positive value indicates navigation in a subframe. Frame IDs are unique within a tab."},
               "transitionType": {"type": "string", "enum": ["link", "typed", "auto_bookmark", "auto_subframe", "manual_subframe", "generated", "start_page", "form_submit", "reload", "keyword", "keyword_generated"], "description": "Cause of the navigation. The same transition types as defined in the history API are used."},
               "transitionQualifiers": {"type": "array", "description": "A list of transition qualifiers.", "items": {"type": "string", "enum": ["client_redirect", "server_redirect", "forward_back", "from_address_bar"]}},
               "timeStamp": {"type": "number", "description": "The time when the navigation was committed, in milliseconds since the epoch."}
             }
           }
         ]
+      },
+      {
+        "name": "onTabReplaced",
+        "type": "function",
+        "description": "Fired when the contents of the tab is replaced by a different (usually previously pre-rendered) tab.",
+        "options": {
+          "supportsFilters": true,
+          "supportsListeners": true,
+          "supportsRules": false
+        },
+        "parameters": [
+          {
+            "type": "object",
+            "name": "details",
+            "properties": {
+              "sourceTabId": {"type": "integer", "description": "The ID of the tab that was replaced."},

[battre, 2012/07/05 15:38:46]

Should this be called "oldTabId"? How does "source" connect to a replacement?

[jochen (gone - plz use gerrit), 2012/07/06 11:13:50]

What about replacedTabId

[battre, 2012/07/06 11:18:13]

SGTM

+              "tabId": {"type": "integer", "description": "The ID of the tab that replaced the old tab."},

[battre, 2012/07/05 15:38:46]

If the previous one becomes oldTabId, this might become newTabId.

[jochen (gone - plz use gerrit), 2012/07/06 11:13:50]

I'd prefer to call this tabId, to be consistent with the other events (compare
onCreatedNavigationTarget)

+              "timeStamp": {"type": "number", "description": "The time when the replacement happened, in milliseconds since the epoch."}
+            }
+          }
+        ]
       }
     ]
   }
 ]