diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-08-23 23:56:35 +0200 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-08-23 23:56:35 +0200 |
| commit | e4fd839ddaaf3fc68df2cb502a633a2ae6a9f86f (patch) | |
| tree | 681b2a63eb9b9497b97697e3f1479a7b20270427 /src/buffer_manager.cc | |
| parent | 0d8cce272831cd896d0e69d7c86cc9afc521eb11 (diff) | |
use a strongly typed int CharCount for character counts
Diffstat (limited to 'src/buffer_manager.cc')
| -rw-r--r-- | src/buffer_manager.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/buffer_manager.cc b/src/buffer_manager.cc index c5235cb1..5a1f63da 100644 --- a/src/buffer_manager.cc +++ b/src/buffer_manager.cc @@ -53,7 +53,7 @@ Buffer* BufferManager::get_buffer(const String& name) } CandidateList BufferManager::complete_buffername(const String& prefix, - size_t cursor_pos) + CharCount cursor_pos) { String real_prefix = prefix.substr(0, cursor_pos); CandidateList result; |