Mitsukiの魔法実験室

Mitsuki's Magic Laboratory
Since 2002.09.14

2007/10/18

Posted at 2007/10/18 17:45 in Diary|Opera

* 13:15 近況とか
 一応生きてる。

* 17:45 Delay アクションで JavaScript 有効期間を制限する
 Opera9.5 から Delay アクションが追加されてたのをふと思い出して、これ使えば「普段は JavaScript OFF にしてて、ブックマークレット実行時だけ ON にして、また OFF に戻す」ボタンが作れるのに今更気づいた(ただのブックマークではアクション実行できないので無理)。以下はうちの standard_toolbar (1).ini より抜粋:


Button7, "+HBM"=Enable javascript & Delay, 100 & Go to page, "javascript:window.open('http://b.hatena.ne.jp/add?mode=confirm&is_bm=1&title='+escape(document.title)+'&url='+escape(location.href), '_blank', 'width=520,height=600,resizable=1,scrollbars=1');undefined;" & Delay, 100 & Disable javascript
Button8, "+LDR"=Enable javascript & Delay, 100 & Go to page, "javascript:location.href='http://reader.livedoor.com/subscribe/'+location.href", 1 & Delay, 100 & Disable javascript

 単に「JavaScript有効化→100ms 待ち→ブックマークレット実行→100ms 待ち→JavaScript無効化」という処理をしてる。b.hatena.ne.jp とか reader.livedoor.com は Site Preference でドメインごと JavaScript を ON にしてあるので、Go to page アクションの直後に JavaScript が OFF になっても問題はない……というのがミソかな。なので、alert 表示するようなブックマークレットだと微妙。

2007/09/06

Posted at 2007/09/06 13:52 in Diary|Opera

* 13:50 Go and get Opera 9.5 alpha!
 無謀にも(?)完全置き換えでインストールしてみた。
 今のところ問題は、検索 Box で日本語入力してると落ちるくらいかな。クリーンインストールしても変化ないし、他でそういう報告も見ないので、環境の問題かも?
 表示の違いとかは元々気にしてないので(Yahoo の表示が変になるのはさすがに気づいたけど)、割とどうでもいい。動作速度はこころもち速くなった? 少なくともスムーズスクロールは快適になった気がする。

 そういえば、クリーンインストール後に Preference 眺めてて、Advanced→Fonts タブに Minimum font size なんて項目があるのに気づいた(昔からあるようだ)。これを適切に指定しておくと、やたら小さなフォント指定してるサイトも拡大しないで読めるので便利だ。

 検索 Box で落ちる件は他でもおきてるらしい。うちだけじゃなくてよかった(よくない)。

2007/03/20

Posted at 2007/03/20 12:37 in Diary|Opera

* 12:30 Apollo
 ふと思ったんだけど、Opera WidgetにFlash埋め込んだら似たようなことできるのかな?

2007/02/20

Posted at 2007/02/20 22:06 in Diary|Opera

* 22:10 はてブ登録時にタグをインクリメンタルサーチ
したいなーと前々から思ってたので、DOM やりはじめたことだし習作として作ってみ……る前に、既存でないかなと検索してみると、IE と firefox では標準でできるらしい。ぇぇ……。
 他の機能は動いてるのでこれだけ動かないのも変だなーと思ってはてブのソース見てみると、tag_suggest.js で Opera8 決め打ち判定してるのを発見 orz
 とりあえずバグ報告しておいたけど、user.jsで


if (location.href.indexOf("http://b.hatena.ne.jp/") == 0)
{
    document.addEventListener('load', function()
    {
        isOpera8 = true;
    }
    , false);
}

とかやって変数上書きしたら、現状でも動作するようになった。

2007.05.14やっとなおった

Operaのカスタマイズ

Posted at 2005/09/23 01:53 in Software|Opera

 先日レジストキーの無料配布で盛り上がっていたOperaですが、案の定(?)完全に無料になってしまいましたね。背景にはgoogleも絡んだいろいろがあるようですが、それはまあさておき。

 OperaのUIは、GUIでカスタマイズするだけでなく、「%USERPROFILE%\Application Data\Opera\Opera\profile」以下のiniファイルを直接操作することで、より細かいカスタマイズが可能のなるのは有名な話。

(続きを読む)

Page 1/1: 1