Commits · 9a223d81a6233e916f730463a842ffd58cb960ab · Moritz Aurel Pascal Schubotz / CodeMirror

May 25, 2017
- Add a dedicated 'type' token type · 0ac67b10
  Marijn Haverbeke authored 7 years ago
  
  Rather than abusing variable-3. Coloring is the same for now.
  0ac67b10
Mar 01, 2017
- Revert "[active-line addon] Style active lines differently" · d333c723
  Marijn Haverbeke authored 8 years ago
  
  This reverts commit a44e76a0. Issue #4606
  d333c723
Feb 26, 2017
- [active-line addon] Style active lines differently · a44e76a0
  Marijn Haverbeke authored 8 years ago
  
  So that line widgets aren't included in the background style Closes #4606
  a44e76a0
Oct 17, 2016
- [panda-syntax theme] Fix leaking styles. Again · aada3904
  Marijn Haverbeke authored 8 years ago
  
  aada3904
Sep 16, 2016
- [panda-syntax theme] Adjust colors · 02d4ab46
  Siamak Mokhtari authored 8 years ago
  
  02d4ab46
Sep 07, 2016
- [panda-syntax theme] Fix rule for matching brackets · a6c9a593
  Marijn Haverbeke authored 8 years ago
  
  Closes #4230
  a6c9a593
Jul 19, 2016
- [panda-syntax theme] Add · a3d9a316
  Siamak Mokhtari authored 8 years ago
  
  a3d9a316