code mirror fix