From 42859c76339432d15f2fdcc67b07d30dedfc8a07 Mon Sep 17 00:00:00 2001 From: Kris Maglione Date: Tue, 29 Jul 2014 22:16:26 -0700 Subject: [PATCH] Filter dead documents when processing hits. --HG-- extra : rebase_source : e8ad12675d578d593312f2078e727c08d34a7e81 --- common/content/hints.js | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/common/content/hints.js b/common/content/hints.js index 035f8213..95396c66 100644 --- a/common/content/hints.js +++ b/common/content/hints.js @@ -54,6 +54,11 @@ var HintSession = Class("HintSession", CommandMode, { this.checkUnique(); }, + get docs() this._docs = this._docs.filter(({ doc }) => !Cu.isDeadWrapper(doc)), + set docs(docs) { + this._docs = docs; + }, + Hint: { get active() this._active, set active(val) {