codemirror shell, dashboard hover