> Please, can you check if this patch fixes the bug? Yes, that fixes the bug. Now scrolling while pointing at filenames, tab close buttons, or the free space to the right of the tab headers, all work as expected. That is, they switch the active tab, and no crash seems to occur any longer.
Regards, ecm
