For unknown to me reasons I am no longer able to reproduce this specific problem. But there is another, similar bug: https://bugs.launchpad.net/linuxmint/+bug/1283664
Perhaps it is the same one, and I misdiagnosed the event that trigger it.
For unknown to me reasons I am no longer able to reproduce this specific problem. But there is another, similar bug: https:/ /bugs.launchpad .net/linuxmint/ +bug/1283664
Perhaps it is the same one, and I misdiagnosed the event that trigger it.