runrev/livecode — pull request #631 by runrevmark (2014-04-11 11:33:46+00:00)
Title: [[ Bug 12027 ]] Workaround hittest / render mismatch in HITheme API when...

... rendering scrollbar thumbs on Retina.