var box = document.getElementById("inputbox");
  box.focus();

  var t = box.value;
  if (t == "") {
    return false;
  }

  var success = function(url) {
    console.log("matched " + t + " to: " + url)
    box.value = "";
    openURL(url);
    return false;  // cancel form submission
  };

  var url = urlForInput(t);
  if (url) {
    return success(url);
  }

                || negative && !ignored && !unignored && !checkUnignored
            ) {
                return
            }

            const matched = rule.regex.test(path)

            if (matched) {
                ignored = !negative
                unignored = negative
            }
        })

        return {
            ignored,
            unignored