Small update:
I thought, there are no visible effects to the user interface, but there are:
This times it happened again while using TexStudio.
After the crash, the menu bar (top-down menu) of the application vanished completely.
To resume from this state it's necessary to close and reopen the program.
For now, I've no evidence, but the same issue could affect other applications too.
Small update:
I thought, there are no visible effects to the user interface, but there are:
This times it happened again while using TexStudio.
After the crash, the menu bar (top-down menu) of the application vanished completely.
To resume from this state it's necessary to close and reopen the program.
For now, I've no evidence, but the same issue could affect other applications too.