Opera9.5 build 10051 でメニュー>ツール>詳細ツール>開発者用ツール で Dragonfly を起動して、閉じようとすると「開発者用ツール」がグレーアウトして選択できない。
先日作っておいたボタンは Dragonfly を起動しても閉じることが出来なかったが、build 10051 では上手く動いてくれた。ボタン→
menu.ini には
Button,M_DEVELOPER_TOOLS="Attach Developer Tools Window,,,,"DOM Console" | Close Developer Tools Window,,,,"DOM Console""
をツールバーの好みのセクションに記入すればOKです。
実は起動した Dragonfly はページを閉じるマウスジェスチャーで閉じれます。