diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-08-29 21:52:17 +0200 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-08-29 21:52:17 +0200 |
| commit | f1d8d0add8e4027293fc588d70447cf559215ba5 (patch) | |
| tree | 262c2e32e7bb0b8612de14d34f90534694fd0cac /src/buffer_manager.cc | |
| parent | 2825bc3d7b40790c1e6e2a48a5a604b0e184b21a (diff) | |
escape whitespaces in filename or buffername completions
Diffstat (limited to 'src/buffer_manager.cc')
| -rw-r--r-- | src/buffer_manager.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/buffer_manager.cc b/src/buffer_manager.cc index 38256ff1..75d0e94c 100644 --- a/src/buffer_manager.cc +++ b/src/buffer_manager.cc @@ -61,7 +61,7 @@ CandidateList BufferManager::complete_buffername(const String& prefix, { const String& name = buffer->name(); if (name.substr(0, real_prefix.length()) == real_prefix) - result.push_back(name); + result.push_back(escape(name)); } // no prefix completion found, check regex matching if (result.empty()) @@ -73,7 +73,7 @@ CandidateList BufferManager::complete_buffername(const String& prefix, { const String& name = buffer->name(); if (boost::regex_search(name.begin(), name.end(), ex)) - result.push_back(name); + result.push_back(escape(name)); } } catch (boost::regex_error& err) {} |
