merge `dev-next` into `dev-next-gui`

[benloh]

In GitLab by @benloh on Apr 22, 2022, 09:57

Want to keep both branches synced.

It doesn't make sense yet to merge dev-next-gui into dev-next because of major changes to keywords.

However, there have been a number of dev-next changes that would be good to keep synced:

• Joshua's bee-work branch adding "goLocation" Movement method

• 381 promiscuous pozyx: Cursors should not pick up other cursors

• 385 clear animated costume: Unset animatedCOstume if setCostume is called.

[benloh]

In GitLab by @benloh on Apr 28, 2022, 09:31

added 3 commits

• 0fcdf88a - dev-next-color-fixes: Clear ALL color settings with resetColorize, otherwise,...
• 9c25eb10 - dev-next-color-fixes: randomizeColorHSV should pick a color even if color had...
• 3402aae5 - Merge branch 'dev-bl/dev-next-color-fixes' into 'dev-next'

Compare with previous version

[benloh]

In GitLab by @benloh on Apr 28, 2022, 09:48

added 2 commits

• 7d3c8f9b - dev-next-db-noreset: db 'doReset' flag was set to true for debugging. During...
• ebc6c243 - Merge branch 'dev-bl/dev-next-db-noreset' into 'dev-next'

Compare with previous version