commit f02132f5a94a347d2b0ecc2615964fc5942b00ab parent 6ef9a061f3770932a46b965bf79fd097a8aeb3fb Author: Simon Kornblith <simon@simonster.com> Date: Thu, 6 Jun 2013 16:50:34 -0700 Merge pull request #330 from aurimasv/4.0 Prefer higher priority translators even if they don't target the top frame Diffstat:
| M | chrome/content/zotero/browser.js | | | 13 | ++++++++----- |
1 file changed, 8 insertions(+), 5 deletions(-)
diff --git a/chrome/content/zotero/browser.js b/chrome/content/zotero/browser.js @@ -812,11 +812,14 @@ Zotero_Browser.Tab.prototype._translatorsAvailable = function(translate, transla //this set of translators is not targeting the same URL as a previous set of translators, // because otherwise we want to use the newer set && this.page.document.location.href != translate.document.location.href - //the previous set of translators targets the top frame or the current one does not either - && (this.page.document.defaultView == this.page.document.defaultView.top - || translate.document.defaultView !== this.page.document.defaultView.top) - //the best translator we had was of higher priority than the new set - && this.page.translators[0].priority <= translators[0].priority + //the best translator we had was of higher priority than the new set + && (this.page.translators[0].priority < translators[0].priority + //or the priority was the same, but... + || (this.page.translators[0].priority == translators[0].priority + //the previous set of translators targets the top frame or the current one does not either + && (this.page.document.defaultView == this.page.document.defaultView.top + || translate.document.defaultView !== this.page.document.defaultView.top) + )) ) { return; //keep what we had } else {