This (or similar problem) can be also reproduced as: * open two files * switch to the one of them one using ctrl-tab * close another by clicking on its tab close icon * press ctrl-tab to crash
This (or similar problem) can be also reproduced as:
* open two files
* switch to the one of them one using ctrl-tab
* close another by clicking on its tab close icon
* press ctrl-tab to crash