devtools を使うと、 HTML 中の要素の並びやスタイルを調べたり、その場で変更してみたりできる。しかし、ドラッグ中の要素のスタイルをいじりたい、となると、 devtools を開いているだけでは難しい場合がある。 そういうときは setTimeout で自動で debugg…

Chrome 拡張機能 Haruyoshi を公開しました。よしなに貼ることができます。 URL とタイトルをリッチテキストでコピーしたあとの、各サイトでの貼り付けの形式を設定できます。例えば、 MDN Web Docs を貼り付けるとき: GitHub では [MDN Web Docs](https://d…

三行 Google Chrome には、「サイト内検索」という機能があり、好きなキーワード + 検索語で、好きな検索 URL をつくれる 検索のショートカットのような機能 特定のサイト内検索 URL をつくるだけじゃなくて、規定の検索エンジンの検索 URL をつくっても良い…

あるサイトで、誕生日の入力に input type="date" が使われていて、こういう画面が出る (画像は MDN で見てるけどそれには特に意味はない)。 今ここでおためしできます: 前後の月に移る矢印しかなさそうで、みんな自分の生まれ年まで頑張って遡ってるのか？ …

magaming.hatenablog.com めっちゃわかって、ブラウザにデフォルトの設定をしておけば Web ページがブラウザの API を勝手に叩いてやっていってくれる流れにならないか、と思っている……。まあ「このページでは設定変えたいな」みたいなときにどうしたらいい…