グーグルスクリプトエディタ

現象：
google script editorでプロジェクトを削除できないことがあります。
「削除」ボタンを押してもなにも反応ないままです、これはバグでしょうか。
対策：
削除したいプロジェクトのソースコードを全部削除して保存する、
そしてプロジェクトが削除できるようになるらしい。