>>941
それは初期値のままなので違うんです
user.js内で検索しても当たり前だけどない
githubで見つけた物と日本語サイトで見つけた物を足してuser.js使っているのですが
調べて納得して入れたがどうも使い勝手が悪い
その部分を削除したいのだが設定名がわからない

上の検索バーかサイト内のページ検索窓で検索しようとすると
下の検索バーにフォーカスされてしまう
これを解除するために必要な名前が知りたいです