Actually, I was just thinking last week that I should update this bug report. Since I've updated to 14.10 I have no longer experienced the bug. I just tried triggering it, and the freeze did not occur. It seems to me that somewhere in the 14.10 release it has been fixed.
@Ludek, can you try 14.10? It would be good to see if it is solved for you as well in that release.
Actually, I was just thinking last week that I should update this bug report. Since I've updated to 14.10 I have no longer experienced the bug. I just tried triggering it, and the freeze did not occur. It seems to me that somewhere in the 14.10 release it has been fixed.
@Ludek, can you try 14.10? It would be good to see if it is solved for you as well in that release.