Merge branch 'develop' into feature-threaded_rendering
[[ ThreadedRendering ]] Make linux theme metric fetching thread safe.
Merge branch 'feature-threaded_rendering' into develop
Merge branch 'develop' of https://github.com/runrev/livecode into develop