Wednesday October 20, 2021; 9:04 AM EDT
- Scott reported a bug, quickly verified, fixed.#
- The problem was that when we closed a tab, the internal array of tabs wasn't being automatically rebuilt. #
- So when you opened a file after closing a file, that file would still be in the tabs array, and therefore wasn't included in the list.#
- The problem was solved by recomputing the array after closing a tab.#