diff options
| author | Stephen Blott | 2016-03-17 12:54:44 +0000 | 
|---|---|---|
| committer | Stephen Blott | 2016-03-17 12:54:44 +0000 | 
| commit | e1aee8b4867e3d315d799ba06ba46fa7d7077c0c (patch) | |
| tree | 52753640d0661985d0ca33d74105d9b480fe71bb /background_scripts/main.coffee | |
| parent | 16b150c108f72cc7b3e33c6fa46bd5c2d06c71c8 (diff) | |
| download | vimium-e1aee8b4867e3d315d799ba06ba46fa7d7077c0c.tar.bz2 | |
More tweaks for #2053.
Diffstat (limited to 'background_scripts/main.coffee')
| -rw-r--r-- | background_scripts/main.coffee | 7 | 
1 files changed, 3 insertions, 4 deletions
| diff --git a/background_scripts/main.coffee b/background_scripts/main.coffee index 42e9b344..1a67f2b2 100644 --- a/background_scripts/main.coffee +++ b/background_scripts/main.coffee @@ -360,10 +360,9 @@ Frames =      port.onDisconnect.addListener listener = ->        # Unregister the frame.  However, we never unregister the main/top frame.  If the tab is navigating to -      # another page, then there'll be a new top frame (with the same Id) along soon.  If the tab is closing, -      # then we'll tidy up in the chrome.tabs.onRemoved listener, below.  This approach avoids any dependency -      # on the order in which register and unregister events happens (e.g. on navigation, a new top frame -      # registering before the old one is deregistered). +      # another page, then there'll be a new top frame with the same Id soon.  If the tab is closing, then +      # we tidy up in the chrome.tabs.onRemoved listener.  This elides any dependency on the order in which +      # events happen (e.g. on navigation, a new top frame registers before the old one unregisters).        if tabId of frameIdsForTab and frameId != 0          frameIdsForTab[tabId] = frameIdsForTab[tabId].filter (fId) -> fId != frameId | 
