eclipse - Eclipse RCP：拡張ポイント（restorable = "false"）はスタックビューでは機能しません

Question

拡張ポイントで、復元できないビューを定義します。

    <view
            id="..."
            name="..."
            class="..."
            allowMultiple="true"
            restorable="false">
    </view>

「スタック」（最小化）されているすべてのビューは、ワークベンチが閉じたときに閉じられません。これは正常な動作ですか？

ビューを手動で閉じる必要があります...

public static void hideViews(IWorkbenchPage page) {
    //list of views VISIBLE on this page
    IViewReference[] views=page.getViewReferences();
    for(int i=0; i<views.length; i++) {
        //hide view
    }
}

ありがとう。

編集：私は日食のバグを開きました。 https://bugs.eclipse.org/bugs/show_bug.cgi?id=358578