- Aug 03, 2015
-
-
Vincent Woo authored
-
Vincent Woo authored
-
- Jun 26, 2015
-
-
Marijn Haverbeke authored
So that selection inside widgets isn't affected Issue #3342
-
- Feb 20, 2015
-
-
Marijn Haverbeke authored
So that the contenteditable input style doesn't look silly on desktop.
-
- Jun 23, 2014
-
-
Marijn Haverbeke authored
Using the CodeMirror-guttermarker and CodeMirror-guttermarker-subtle CSS classes to give the markers their color. Issue #2602
-
- Sep 24, 2013
-
-
Marijn Haverbeke authored
-
- Aug 19, 2013
-
-
angelozerr authored
-
- Aug 01, 2013
-
-
Jan T. Sott authored
-
Jan T. Sott authored
-