Наткнулся на баг.
Если создать проект - открыть его - в дерево последних проектов добавится Project1
Если потом переименовать проект - то в дереве он не переименовывается. - так и остается висеть - жирным - Project1.
Если закрыть этот проект и открыть заново (уже переименованный), то получаются два активных проекта (оба жирным шрифтом).
И из истории удаляться Project1 не желает
![Smile](/forums/images/smilies/smile.gif)
- видимо потому, что он активный.