2007年6月8日(金)
userChrome.jsの話題37 拡張機能Menu Editorと共存させる
userChrome.js 0.8,0.7用のスクリプトである。
Ext/Menu Editorを導入するとuserChrome.jsで追加されるメニュー項目が機能しない場合がある。
本来は,該当するスクリプトを修正して, Menu Editorと干渉しないようにするのが正しいが, 面倒なので,このスクリプトを作成した。
このスクリプトは, userChrome.jsによるメニュー項目が追加される前にMenuEditorを実行してしまえというものである。
http://space.geocities.jp/alice0775/STORE/001-execMenuEdit.uc.js
[注意点]
1.Firefox2.0.0.4, 3.0a5pre Windows XPの環境でのみ動作確認した。
2.userChrome.jsにより一番最初に実行するようなファイル名にして保存する。
3.MenuEditorによるメニュー編集後は,一度Fxを再起動しないと追加されたメニュー項目は有効にならない。
4.スクリプトにもよるが,メニューを挿入する際のリファレンスアイテムがMenuEditorにより移動されている場合, a.同じメニューグループとなる場合は挿入位置がそれに追随してしまう。 b.異なるメニューグループとなる場合は, メニューの挿入に失敗または動作しない場合がある。当然ながら,リファレンスアイテムがMenuEditorにより削除されている場合はダメです。またリファレンスアイテムがmenuseparatorの場合も同様にMenuEditorによりidが変わってしまうのでダメです。スクリプトのリファレンスアイテムを別のものに変更することで動作するようになるかもしれません。