codemirror works without hack now
bugfix, new features in navbar (not all working yet)