確か、初期状態のプロジェクトはDEFAULTで、その時のプロンプトは、[DEFAULT]OKみたいに表示されていた覚えがあるんですが、一度新規プロジェクトを作成してから、PROJECT ""でDEFAULTに戻しても、OKしか表示されない（[DEFAULT]というプロジェクト名が出ない）んですよね（というか、この段階でDEFAULTプロジェクトに移動出来ているんですよね？）。特に問題は無いと思うんですが、何となく気になったので。

[DEFAULT]のときはOKのみになるようです。

という事は、OKのみ表示されるというのが本来の仕様で、[DEFAULT]OKと表示されていたのは、バグだったんですかねえ？

わたしは[DEFAULT]が表示されたのを見たことが無いですね・・・。