diff --git a/mobile/android/chrome/content/browser.js b/mobile/android/chrome/content/browser.js index e43bbc2d2934..b83be4211787 100644 --- a/mobile/android/chrome/content/browser.js +++ b/mobile/android/chrome/content/browser.js @@ -1523,8 +1523,9 @@ var BrowserApp = { let url = data.url; let flags; - if (/^[0-9]+$/.test(url)) { - // If the query is a number, force a search (see bug 993705; workaround for bug 693808). + if (!data.engine && /^[0-9]+$/.test(url)) { + // If the query is a number and we're not using a search engine, + // force a search (see bug 993705; workaround for bug 693808). url = URIFixup.keywordToURI(url).spec; } else { flags |= Ci.nsIWebNavigation.LOAD_FLAGS_ALLOW_THIRD_PARTY_FIXUP |