Lazy Diary @ Hatena Blog

PowerShell / Java / miscellaneous things about software development, Tips & Gochas. CC BY-SA 4.0/Apache License 2.0

Opera

proxy の設定を変えたら再起動すること

Opera で Proxy の設定を変えたら再起動すること。 再起動するまでは設定が上手く反映されないっぽい(proxy を指定しても接続されないみたい)。キャッシュの関係か? これでだいぶ悩んじまったい。現在、 ruby の WEBrick で広告消し proxy を作って運用中…

「『ページ末尾でスペース』で次ページ」機能を OFF にしたい

例えば Google の検索結果なんか。スペースを押してスクロールし、ページ末尾を表示させる。ここでさらにスペースを押すと、次のページ(50-100 件目、とか)に飛ぶ。 別に前後関係の規定されていそうにないページでも飛びやがるし、下までスクロールしたい…