Text Editors, Scroller, ScrollText: support for Mac HiDPI resolutions (closes #567)