Many thanks for the new (at least new to me) pop-up menu in the tab bar that lets me quickly get to any file that is already open. When the tab bar gets crowded it’s really nice to have this (even though I often just use cmd-T).
Many thanks for the new (at least new to me) pop-up menu in the tab bar that lets me quickly get to any file that is already open. When the tab bar gets crowded it’s really nice to have this (even though I often just use cmd-T).