From 2a28260f87dabe1b018aab460f82ff73e350e722 Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Tue, 3 Feb 2015 13:44:42 +0000 Subject: [PATCH] Extend line numbering max width to 15 char --- src/highlighters.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/highlighters.cc b/src/highlighters.cc index 8a347e75..d0a1012e 100644 --- a/src/highlighters.cc +++ b/src/highlighters.cc @@ -515,8 +515,8 @@ void show_line_numbers(const Context& context, HighlightFlags flags, DisplayBuff const Face face = get_face("LineNumbers"); for (auto& line : display_buffer.lines()) { - char buffer[10]; - snprintf(buffer, 10, format, (int)line.range().first.line + 1); + char buffer[16]; + snprintf(buffer, 16, format, (int)line.range().first.line + 1); DisplayAtom atom{buffer}; atom.face = face; line.insert(line.begin(), std::move(atom));