#115 GUI freezing

[zero-computer-knowledge]

Hi,
When I'm switching between workspaces on my Ubunut 14.04 (64 bit) machine I find the GUI freezes up and I cannot select any of the buttons etc. The only way to get it to work is tp grab the title bar and move the GUI slightly and that frees everything up. Not a massive issue but a slight annoyance to an otherwise excellent product.

Using 20151004 (x84-64) on Ubuntu 14.04 (64 bit)

Mark

[Robert Kausch]

Thank you for reporting this! I'll have a look at it.

[Robert Kausch]

Ticket moved from /p/bonkenc/feature-requests/79/

[Robert Kausch]

Found the reason for this issue. It will be fixed in the next snapshot release (expected to be released this Sunday).

This ticket will be closed two weeks after that snapshot release.

[Robert Kausch]

Closing this ticket now.