2007-01-01から1ヶ月間の記事一覧

Google ReaderにLDR風のピン機能を追加する

Google ReaderにLivedoor Reader風のピン機能を追加するGreaseMonkey http://www.forever5yearsold.net/archives/1 がOperaでやっぱり動かなかったので動くようにパッチを送ったら 作者様が反映してくださった。嬉しかったので紹介します。 作者様ありがとう…

GSViewで日本語フォントを表示する

epsビューワのGSViewで日本語フォントが表示されない場合は cidfmapファイルを編集する。 うちの環境では、 C:\tex\gs\gs8.53\lib\cidfmap にある。 TrueTypeフォントの設定をコメントアウトを外せば完了。 %% %% MS TrueType %% /Ryumin-Light windows/font…

eps以外のフォーマットの画像を貼り付け

通常、Texに貼り付けられる画像形式はepsだけである。 しかし、PNGやJPEGなどの形式を貼りたい時もある。 調べてみたら結構簡単にできるらしいのでやり方をメモ。 準備 まず、表示したい画像形式を表示するSusieプラグインを 手に入れて来て、どこかのディレ…

Google Reader×はてブ for Opera

Google Readerにはてなブックマークのカウンタを追加するGreaseMonkey grb+-20061113.user.js - ヒビノキロク が案の定Operaで動かなかったのでOperaでも動くものを作ってみました。 こんな感じ↓ id:nozomのオリジナルにあるような素晴らしい機能は 根こそぎ…

Googleにブログ検索とコード検索を追加するGreaseMonkey

Googleやhttp://www.google.com/codesearchを利用するときに、 Googleでそれぞれのページを検索して開いてからそのページを利用することが多く なんだか無駄だなぁと思っていたのでそれを解決するGreaseMonkeyを書きました。 こんな感じ↓ 通常のGoogleの検索…

マウスカーソル直下のXPathを見るbookmarklet

あるページのある要素の絶対ロケーションパスを知りたい時は結構ある。 そんな時、いちいちページソースから追っていたら埒が明かないので 何かいい方法はないかと探していた。 Firefoxなら https://addons.mozilla.org/firefox/1095/とか https://addons.mo…

はてな検索プラスをさわってみた

元旦にリリースされたはてな検索プラス サービス終了のお知らせ。 Googleやはてな検索の結果ページに、 他の検索サイトでの検索結果を少しだけマージできるという GreaseMonkeyらしい。Firefox専用。 Googleの検索結果にブログ検索の検索結果を付加して Goog…