Is this a bug?

David Bovill david.bovill at
Thu Oct 15 15:02:50 EDT 2020

Oooh thanks!

Fun. Fact. I’ve been living with this bug for a few years - which is why I didn’t try deleting the prefs.
On 14 Oct 2020, 09:23 +0100, How to use LiveCode <use-livecode at>, wrote:
> /Users/<username>/Library/Preferences/RunRev/livecode.rev
> /Users/<username>/Library/Preferences/RunRev/livecode7.rev

More information about the use-livecode mailing list