Jon Sterling
Jon Sterling
That was my suspicion as well…
I believe this is fixed in 4e0c7779f0e832a80f73df6f76ed1a2bc3eeefe6 (#122). Can someone confirm?
Oh, fail. The image `UIPreferencesWhiteCheck.png` isn't even in the bundle.
Nope: 4e0c7779f0e832a80f73df6f76ed1a2bc3eeefe6 (Related to #108)
Oh dear, I didn't notice that when I merged it in. Sorry about that. If I get a moment, I'll try and fix that; otherwise, feel free to submit a...
Is this still an issue? I have't played with deletion too much, so I don't know if some aspect of it isn't working yet.
Thanks, @itaiferber. I'd be really happy if someone would take this on; unfortunately, I won't be able to address this in the near future.
Incidentally, I was talking about this with Frank Pfenning today and he said he had a similar issue using MLton to build the compiler for C0, and he worked around...
@MatthewFluet Thank you, that did the trick!