■設定が保存されない。
いろいろ調べた結果
なんと、自分で、
Run
workspace Dataの
Clear workspace data before launching
をcheckしていたようだ。
気をつけよう。
■ViewPartのcloseを取得?
disposeをoverwriteしたら取れた。(他にいい方法ありそうだけど)
けど、子widgetはdisposeされてるようなので注意が必要
他にはPluginのstop()や、WorkbenchAdvisorのpostShudtown等で終了を取れそう。
