(In reply to Wolfgang Bauer from comment #6) > For the record, the crash only seems to happen if there's more than one tab > open when you close the window. Indeed. With multiple tabs, it reproduces on Tumbleweed as well.