今更ですがオプション窓にあるmapinfoは、マップに入った時にマップ名を表示するかどうかという機能です(もちろん未実装)。
こんな感じ。