プラグイン: イベント定義で引数の条件を設定した場合、それに合致しない引数を指定した時に例外を投げる
リスト更新時にクラッシュすることがあった
ペインが消える寸前に、無条件に子の Plugin::GUI::Widget#destroy を呼んでいたため、タブが移動後に消滅することがあった。
親Widgetが消えるとGtkのdestroyシグナルを拾って Plugin::GUI::Widget も消えるので、その処理を消した refs #630
Merge remote-tracking branch 'honke/develop' into develop