Hi @BobTheDog
It sounds like this bug:
If you encounter it again, you can try using the nightly build of Arduino IDE, which has the fix of the bug:
https://www.arduino.cc/en/software#nightly-builds