It just happened again - I think I found something which both crashes have in common:
I pressed Ctrl + Tab to switch the current active document
It just happened again - I think I found something which both crashes have in common:
I pressed Ctrl + Tab to switch the current active document