すぐ忘れそうなのでメモ．Eclipseプラグイン開発でLoggerを取得する方法． AbstractUIPlugin のサブクラスが Logger を持っているのでそれを使う．ILog#log(IStatus) は引数に Status クラスが必要なので作ってやる必要がある．ログはワークスペース/.metada…

ACM Portal をよく使うので練習がてらOPERA の user.js を書く． 要 shortcut.js と最近流行のJavaScript-XPath． j: 次の論文へ k: 前の論文へ n: 次の20件 p: 前の20件 Enter: 現在選択している論文の詳細を開く という感じにしたい． なんだかまだ不安定…

今更 これ を入れてみた．google と checkpad の操作が快適になりました． del.icio.us は使ってないので快適かどうかは分かりません．google のショートカットで，そのタブでページを開くショートカットはあったけど，新規タブで開くショートカットが無かっ…

前にも書いたけど，beta になっても userjs で document.addEventListener で keydown を指定しても ctrlKey がどうやっても true にならない．← Mac だけだろうか? たとえば， (function(){ document.addEventListener( 'keydown', function(e){ if (e.ctrl…