2009-08-01から1ヶ月間の記事一覧
ECLIPSE PLUG-IN FOR SPIN その名の通り，EclipseからSpinを扱うプラグイン．Eclipseのインストール機能を使い，アップデートサイトを指定してインストールする．注意点として，カテゴリでグループ化して表示するようにしているとうまく指定出来ないので，…
Spinは検証器としてCのソースを出力するのでCコンパイラが必要になるのだが，それ以外にも，一部のマクロの処理にC++プリプロセッサを使う．#defineでの定数宣言や#ifdefは自前で何とかしているようだが，#defineでマクロ関数を宣言したり#ifを使ったりする…
CapsLockとCtrlを入れ替えたりCapsLockをCtrlに置き換えたりする方法はWebを調べればいくらでも出てくるが，いずれもAdministrator権限を要求する．そんなわけで自分に管理権限の無いマシンだと基本的に無力．だが調べてみたら何とかなることが判明．世界は…
Tab Mix PlusのFirefox 3.5対応キタ!てことで使ってるアドオンが出そろったのでFirefox 3.5系列に移行．Firefox本体のアップデート前にアドオンの対応状況を調べられるようになったのが親切で良い感じ．ちなみに他に使ってるのは AiO GesturesとIE Tabとソー…
