usercssswitcherをMinibufferから起動するパッチ *

--- 地球で働く日本人のブログ --- - 「userstyles.org」上にあるユーザーCSSをインタラクティブかつリアルタイムに操作できるようになるGMスクリプト

良さげなんだけど、ただでさえ重い時間のあるuserstyles.orgに負荷かけまくったら最終的に困るのは自分なので、
自動的に実行するのではなくて、Minibufferから起動させるようにするパッチです。
起動方法はM-x(alt+x)してuser-css-switcherと入力してエンター押すだけ。
ページを開くたびにリクエストするわけではないのでサーバにも優しい設計。

--- usercssswitcher.user.js.orig	2007-09-28 13:54:07.363480000 +0900
+++ usercssswitcher.user.js	2007-09-28 13:53:22.629155200 +0900
@@ -13,6 +13,7 @@
         stylishEvent.initEvent("stylishInstall", false, false, window, null);
         return document.dispatchEvent(stylishEvent);
     } else if ( document && document.body ) {
+        var init = function(){
         var $N = function ( name, attr ) {
             var each = function (obj,iter) { for ( i in obj ) iter.call(null,i,obj[i]); }
             var name = document.createElement(name);
@@ -114,5 +115,10 @@
                        }
                 }
         });
+        }
+        window.Minibuffer.addCommand({
+            'user-css-switcher': init,
+        });
     }
 }
Tag: diary GreaseMonkey - diary/2007-09-28 - 13:59:58

TrackBack(76)


トップ   編集 凍結 差分 BACKUP 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2007-09-28 (金) 13:59:58 (3471d)