Editor 1.2.0 The mark menu will not update when changing files if it was previously detached from the menu bar.