diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2015-01-12 13:58:41 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-01-12 13:58:41 +0000 |
| commit | da562e03a0126adf60d84682f5892b1f610a6ba5 (patch) | |
| tree | e938413b8f25f70562f93c60e7afe95ee82c473c /src/buffer_utils.cc | |
| parent | 83d0813b0ffc8f329a214b533467c761d734e0c1 (diff) | |
replace all std::vector with Vector
Diffstat (limited to 'src/buffer_utils.cc')
| -rw-r--r-- | src/buffer_utils.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/buffer_utils.cc b/src/buffer_utils.cc index 10c04aa7..b3b3e936 100644 --- a/src/buffer_utils.cc +++ b/src/buffer_utils.cc @@ -39,7 +39,7 @@ Buffer* create_buffer_from_data(StringView data, StringView name, pos = data.begin() + 3; } - std::vector<String> lines; + Vector<String> lines; while (pos < data.end()) { const char* line_end = pos; @@ -88,7 +88,7 @@ Buffer* create_fifo_buffer(String name, int fd, bool scroll) if (buffer) { buffer->flags() |= Buffer::Flags::NoUndo; - buffer->reload(std::vector<String>({"\n"_str}), 0); + buffer->reload(Vector<String>({"\n"_str}), 0); } else buffer = new Buffer(std::move(name), Buffer::Flags::Fifo | Buffer::Flags::NoUndo); |
