Martin,
So far so good. The weird behavior stopped, and I haven't seen anything untoward. I'll update again after a week. Since I'm in the editor every day with 20+ tabs open, I'll know if something goes wrong.
After aborting a run, if a tab in the second editor is focused and I press Ctrl+F9, the run button remains disabled after a successful compilation. To enable it, I have to click on the main editor. To stop this behavior, I have to close and reopen the IDE.