From 9991292bd3c492a367908457f8060c5090f7a023 Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Fri, 24 May 2013 18:39:03 +0200 Subject: [PATCH] tweak number line highlighter style --- src/color_registry.cc | 2 +- src/highlighters.cc | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/color_registry.cc b/src/color_registry.cc index e4f7b293..271c750b 100644 --- a/src/color_registry.cc +++ b/src/color_registry.cc @@ -42,7 +42,7 @@ ColorRegistry::ColorRegistry() { "SecondarySelection", { Colors::Black, Colors::Blue } }, { "PrimaryCursor", { Colors::Black, Colors::White } }, { "SecondaryCursor", { Colors::Black, Colors::White } }, - { "LineNumbers", { Colors::Black, Colors::White } }, + { "LineNumbers", { Colors::Default, Colors::Default } }, { "MenuForeground", { Colors::Blue, Colors::Cyan } }, { "MenuBackground", { Colors::Cyan, Colors::Blue } }, { "Information", { Colors::Black, Colors::Yellow } }, diff --git a/src/highlighters.cc b/src/highlighters.cc index 9bbcc7aa..c37b428b 100644 --- a/src/highlighters.cc +++ b/src/highlighters.cc @@ -265,7 +265,7 @@ void show_line_numbers(DisplayBuffer& display_buffer) for (LineCount c = last_line; c > 0; c /= 10) ++digit_count; - char format[] = "%?d "; + char format[] = "%?d│"; format[1] = '0' + digit_count; auto& colors = get_color("LineNumbers"); for (auto& line : display_buffer.lines())