##// END OF EJS Templates
Merge pull request #7768 from minrk/handle-close...
Merge pull request #7768 from minrk/handle-close handle zmq messages that may be processed after websocket is closed

File last commit:

r19287:96eaaf4c
r20432:bba4d4ce merge
Show More
highlight-refs.less
5 lines | 228 B | text/x-less | LessCssLexer
Nicholas Bollweg (Nick)
removing monkeypatch, importing rest of codemirror default theme
r19287 /* load the codemirror defaults as LESS so that highlight.less
can load default theme declarations by reference without pulling in the
nasty positioning
*/
@import (less) "../../components/codemirror/lib/codemirror.css";