Wed, 10 Dec 2014 20:56:33 +0100 | wenzelm | merged | changeset | files |
Wed, 10 Dec 2014 20:51:27 +0100 | wenzelm | more informative gutter content: fall-back on background color, e.g. when line numbers are enabled; | changeset | files |
Wed, 10 Dec 2014 19:26:01 +0100 | wenzelm | more examples; | changeset | files |