ドロップダウンの選択項目にフィルタを掛けられるブックマークレット

こういうツイートがあったので作ってみた。
firefoxでのみ動作を確認している。

ブックマークレットの登録の仕方

適当なブックマークを作成して、ブックマークのURLを以下の内容に変更する。

javascript:[...document.querySelectorAll("select")].forEach(i=>i.addEventListener("keydown",e=>{if(e.keyCode!=13)return;s=prompt();[...e.target.querySelectorAll("option")].forEach(i=>i.hidden=i.innerText.match(s)?null:1)}));alert("ok");

使い方

ページを開いたあとでブックマークレットを実行。
ドロップダウンを選択した状態でEnterキーを押すと入力ダイアログが出るので、フィルタをかけたい文字を入力する。
フィルタ無しの状態に戻したい場合、入力ダイアログで何も入力せずにOKを押す。
凝った作りのドロップダウンだとうまく動かないこともある。