https://mitsuki.engawa.org 生温い技術屋がぼんやりする日々 mitsuki https://mitsuki.engawa.org/Diary/20050928_id.html 　writebackプラグインを改造して、コメントに2ちゃんねるのトリップ風のIDを付けられるようにしてみました。入力欄の「solt」のところに適当なキーワードを入れておくと、対応するIDが書き出されます。 Diary|WebDev mitsuki 2005-09-28T01:49+09:00 https://mitsuki.engawa.org/Software/20050923_opera.html 　先日レジストキーの無料配布で盛り上がっていたOperaですが、案の定(?)完全に無料になってしまいましたね。背景にはgoogleも絡んだいろいろがあるようですが、それはまあさておき。　OperaのUIは、GUIでカスタマイズするだけでなく、「%USERPROFILE%\Application Data\Opera\Opera\profile」以下のiniファイルを直接操作することで、より細かいカスタマイズが可能のなるのは有名な話。　わたしの場合、標準の「Enable Java Script」チェックボックスをトグルボタンに書き換えて、常にメインツールバーに配置しています。おかげで、普段はJavaScriptはOFFにしておいて、必要な時だけONにする、という使い方が楽にできます。これを実現するには、標準のチェックボックスであるCheckbox1, 52208=Enable javascript | Disable javascriptをButton1, "Script"=Enable javascript | Disable javascriptと書き換えればOK。「コントロール, 表示文字列=コマンド」といった書式ですね。「|」は機能の選択(or)を意味しています。　もう一つのお気に入りカスタムが、現在見ているページを「はてなブックマーク」へ追加するブックマークレットを組み込んだボタン。これはButton2, "Add bookmark"="Enable javascript & Go to page, "javascript:window（中略）;undefined;""で実現。普段はOFFにしているJavaScriptを強制的にONにするための「Enable javascript」コマンドと、指定のページを開くための「Go to page」コマンドを「&」で繋いで順次実行させています。「Go to page」はブックマークと同様にブックマークレットを仕込めるので、こういう機能が作れるわけですね。　というわけで、うちのOperaさんは今こんな感じになっています。ちょっとシンプルすぎるかな……。 Software|Opera mitsuki 2005-09-23T01:53+09:00