diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2016-10-04 13:18:03 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2016-10-04 13:18:03 +0100 |
| commit | 620fc28ea60139ddfbc4e8b9675c43e3a1ad711a (patch) | |
| tree | c70da83ee3739f071393eda1b92da925ea480b27 /src/display_buffer.cc | |
| parent | 8a4cf85e22968e7ae77f0fa445836f575782696e (diff) | |
Add "(extend)" to search prompts when we are extending the selection
Fixes #832
Diffstat (limited to 'src/display_buffer.cc')
0 files changed, 0 insertions, 0 deletions