Extend line numbering max width to 15 char

This commit is contained in:
Maxime Coste 2015-02-03 13:44:42 +00:00
parent 61ff8a9bb2
commit 2a28260f87

View File

@ -515,8 +515,8 @@ void show_line_numbers(const Context& context, HighlightFlags flags, DisplayBuff
const Face face = get_face("LineNumbers"); const Face face = get_face("LineNumbers");
for (auto& line : display_buffer.lines()) for (auto& line : display_buffer.lines())
{ {
char buffer[10]; char buffer[16];
snprintf(buffer, 10, format, (int)line.range().first.line + 1); snprintf(buffer, 16, format, (int)line.range().first.line + 1);
DisplayAtom atom{buffer}; DisplayAtom atom{buffer};
atom.face = face; atom.face = face;
line.insert(line.begin(), std::move(atom)); line.insert(line.begin(), std::move(atom));