>>15
http://forums.mozillazine.org/viewtopic.php?t=397735にあるLaunchIEは,
userChrome.js0.8,0.7どちらでも動作します。
右ダブルクリックのスクリプトというものが何か判断しかねるが,
メインウインドウのみに適用しているのであれば0.7でも動くはずです。