- Feb 25, 2015
-
-
Marijn Haverbeke authored
Margins for gutter markers aren't supported, and this was pushing the numbers into the content. Issue #3098
-
- Feb 20, 2015
-
-
Marijn Haverbeke authored
So that the contenteditable input style doesn't look silly on desktop.
-
- Sep 23, 2014
-
-
Marijn Haverbeke authored
-
- Apr 01, 2014
-
-
Marijn Haverbeke authored
Closes #2415
-
- Jan 22, 2014
-
-
Marijn Haverbeke authored
-
Peter Kroon authored
-