gorhill
|
52538d1e41
|
local mirroring work
|
2014-10-02 16:45:26 -04:00 |
gorhill
|
ee81436ff5
|
this fixes 202
|
2014-09-14 16:20:40 -04:00 |
gorhill
|
0699091171
|
better table layout, emphasizing domains
|
2014-07-07 13:02:03 -04:00 |
gorhill
|
2e4b96157c
|
jshint, glitches
|
2014-07-06 21:52:16 -04:00 |
gorhill
|
ee610b3aad
|
toward 0.1.4.0
|
2014-07-06 19:14:32 -04:00 |
gorhill
|
25c7cb8f99
|
oops: that would cause bad rendering if end of match falls at end of line
|
2014-07-05 10:06:49 -04:00 |
gorhill
|
ea14c3f266
|
fixed various glitches with highlighter
|
2014-07-02 18:42:16 -04:00 |
gorhill
|
5102bd7c21
|
highlight part hit by filter
|
2014-07-02 16:52:57 -04:00 |
gorhill
|
fb62bbc29e
|
this fixes #12, #37
|
2014-07-02 12:02:29 -04:00 |