Chris

Fix property sheet error from not finding labelMorph font

2

When getting the property sheet of a labelMorph that is using a font that doesn't exist in the 'x11Globals scalableFont' list an error occurs and the property sheet can't display....

Implement a fullscreen on Linux

1

This provides a 'toggleFullscreen' method on the xWindowCanvas. Sending this message will enter or exit fullscreen mode. In fullscreen mode the window decorations are removed and the window takes up...

Allow remote desktop sharing to work again on Linux

1

Git commit 882d8cf2 fixed a problem where restarting a snapshot that had open worlds would fail on Linux due to using the fully qualified display name. Unfortunately it broke support...

wasp_random_handle had early returns that didn't return an expected 'int' value. This would result in sporadic hangs of calls to 'random_integer' and other functions that obtained entropy.

removing lemma_not_empty and lemma_not_zero

2

I wondered why `lemma_not_empty` and `lemma_not_zero` is needed since you have the `if` that should narrow down the constraint: if length(s) > 0 && pad > 0 If you use...