jslint
use defineOption to add iOSselection, defaulting to false
make sure we're using the sime lineNumber settings for the magnifiedCM
make sure we're using the sime lineNumber settings for the magnifiedCM