- Aug 06, 2015
-
-
Marijn Haverbeke authored
-
Amin Shali authored
-
Marijn Haverbeke authored
Issue #3434
-
Vincent Woo authored
Also some general improvements to material.css and solarized.css
-
Amin Shali authored
-
Marijn Haverbeke authored
-
- Aug 03, 2015
-
-
Marijn Haverbeke authored
Don't treat backslashes specially inside of them Closes #3428
-
Vincent Woo authored
-
Vincent Woo authored
-
Vincent Woo authored
-
Vincent Woo authored
-
Marijn Haverbeke authored
Issue #3423
-
Marijn Haverbeke authored
-
Rrandom authored
-
- Jul 31, 2015
-
-
Anders Wåglund authored
-
Philip Stadermann authored
-
Dmitry Kiselyov authored
-
Marijn Haverbeke authored
Issue #3421
-
- Jul 30, 2015
-
-
Marijn Haverbeke authored
Closes #3421
-
Marijn Haverbeke authored
Closes #2645
-
- Jul 28, 2015
-
-
Richard Denton authored
-
- Jul 27, 2015
-
-
Matt Gaide authored
-
Matt Gaide authored
Adding a CodeMirror option for controlling how long the ternTooltip should be visible before closing
-
Marijn Haverbeke authored
-
Amin Shali authored
... and export (via defineExtension) a method to explicitly trigger linting from user code.
-
- Jul 25, 2015
-
-
Marijn Haverbeke authored
Closes #3409
-
thanasis authored
-
Marijn Haverbeke authored
Closes #3410
-
Michael Zhou authored
-
- Jul 22, 2015
-
-
Shea Bunge authored
-
- Jul 21, 2015
-
-
Marijn Haverbeke authored
Issue #3401
-
- Jul 20, 2015
-
-
Marijn Haverbeke authored
-
Marijn Haverbeke authored
Issue #3395
-
Marijn Haverbeke authored
Issue #3395
-
Marijn Haverbeke authored
Issue #3387
-
Vincent Woo authored
-
Marijn Haverbeke authored
-
- Jul 17, 2015
-
-
Sungho Kim authored
-
Rrandom authored
-