diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-12-31 14:28:32 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-12-31 14:37:11 +0100 |
| commit | 074a21463b36296a74054b52231c5675c375e89a (patch) | |
| tree | 7fa05a0e8af056f9bf107b2c3e0d4ffc35b214e3 /src/command_manager.cc | |
| parent | d5582b0df4faefd558fd3e8726fe6a7e9888fe2e (diff) | |
add a current search highlighter
Diffstat (limited to 'src/command_manager.cc')
0 files changed, 0 insertions, 0 deletions