code Mirror integration