タグ

2008年1月10日のブックマーク (2件)

  • AUSGANG SOFT - Greasemonkey - Google のラジオボタン押したら検索

    モイモラ: ラジオについて考える ココはラジオじゃなくて検索実行の意味あいを持つボタンにして欲しいのです。 つまりラジオを押したら直ぐ結果ページへGOですよ。 キーワード入力>ラジオ選択>Google検索ボタン という流れが必然なんですから。 たかが1クリック、されど1クリック。 そう言われれば、そうだなぁ。 言われるまで気付かなかった・・・。 ということで、昨日に続いて Greasemonkey スクリプト作ってみました。 gbutton.user.jsその他のGreasemonkeyスクリプト ボタン押したら検索実行するだけの、すごい簡単なものです。 こうしたちょっとしたもの作ってテストする時、JavaScript Shell は、とても便利なのでオススメです。

  • mmm-mode and nxml-mode - 日向夏特殊応援部隊

    一応、font-lock以外は組み合わせて使えたのでメモ。 mmm-modeのインストール まずはmmm-modeをダウンロードして、展開します。 $ cd /tmp $ wget http://jaist.dl.sourceforge.net/sourceforge/mmm-mode/mmm-mode-0.4.8.tar.gz $ tar xfz mmm-mode-0.4.8.tar.gz $ cd mmm-mode-0.4.8例えばWindowsでMeadowを使ってる人は環境変数EMACSが適切に指定されてないとダメなのと、恐らくC:\meadowとかにインストールされてるので、次のようにビルドします。 $ env EMACS=/cygdrive/c/meadow/bin/Meadow.exe LANG=en_EN ./configure --with-lispdir=/cygdri