編集中ドキュメントでもリネームできる

私にとって、すばらしい発見だ。
– Easily change a filename while the file is being edited
編集中のドキュメントは、リネームできないものという固定観念があったので、編集を止めてウインドウを閉じるか、別名で保存するしか方法はないものと思い込んでいました。しかし、編集中でもリネームできるのですね。う〜ん、エクセレント!!