Maxime Coste
|
dc504284c3
|
Change flag lines highlighter to use faces instead of colors
Fixes #130
|
2015-08-23 12:13:14 +01:00 |
|
Maxime Coste
|
270e950cf1
|
sort includes directives
|
2013-04-09 20:05:40 +02:00 |
|
Maxime Coste
|
a80cee0d2c
|
Add support for tuple Options, implement LineAndFlag using that
|
2013-03-29 19:35:48 +01:00 |
|
Maxime Coste
|
d2f811a8d5
|
Refactor filter and highlighter registry into a common template
|
2012-11-23 13:40:20 +01:00 |
|
Maxime Coste
|
2824bd9a46
|
HighlighterGroup: move to it's own file, Window uses them directly
|
2012-01-19 20:37:29 +00:00 |
|
Maxime Coste
|
541872cafa
|
completion support for addgrouphl and rmgrouphl
|
2012-01-18 11:33:58 +00:00 |
|
Maxime Coste
|
0c1e763d66
|
Highlighters: add an HighlighterGroup class
|
2012-01-15 13:45:18 +00:00 |
|
Maxime Coste
|
0859b20bcf
|
Rename Filter to Highlighter to be more explicit
|
2011-11-29 22:37:20 +00:00 |
|