Skip navigation.

exploreopera

| Help

Sign up | Help

Kuruman Log

かつて自分のカスタムログを書きためていたこともあった

Posts tagged with "panel"

0 ctrlに何か割り当てようよという話を書いた

, ,

Ctrl+0に何か割り当てた方が良いよとか、ウィンドウパネル使えよとか、Internal Window Menuが便利だよとか、そんな話をタブ切り替えの方法ってな感じで長々と書いてみた。今日のカスタマイズというわけではないのでここには詳細を書かない。

URI中のURLエンコード済み文字が一部デコードされてしまうので……

,

URLエンコードされた文字列を含むURIを開くとアドレスバー中で一部の文字がデコードされてしまう事がある。href属性値などにそのURLを使いたい時、結構困るのだ。で、今までは一回Googleでその語を検索してクエリに含まれる値からエンコード後の結果を拾うなんてあほな事をやっていた。さすがに面倒な事この上ないのでパネルにエンコードフォームを追加してみた。

なんとなくUserJSで解決できるような気もするけれど……そこまで頻繁に必要となるわけでもないし気にしない事にする。フォーム使って変換できればいいや。