[gtksourceview] stylescheme: raise priority of .current-line-number CSS
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gtksourceview] stylescheme: raise priority of .current-line-number CSS
- Date: Mon, 15 Apr 2019 21:40:26 +0000 (UTC)
commit 553267f5cfa614bfc1ab2a39eb4ff38714c802e6
Author: Christian Hergert <chergert redhat com>
Date: Mon Apr 15 14:33:55 2019 -0700
stylescheme: raise priority of .current-line-number CSS
When using GTK CSS to set the background of the current line number, we
need to elevate the priority so that it takes precedence over the normal
background color styling.
This now uses "textview .current-line-number" which appears to be enough
to raise the priority.
Fixes #53
gtksourceview/gtksourcestylescheme.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/gtksourceview/gtksourcestylescheme.c b/gtksourceview/gtksourcestylescheme.c
index 667b6b46..5538ae3b 100644
--- a/gtksourceview/gtksourcestylescheme.c
+++ b/gtksourceview/gtksourcestylescheme.c
@@ -957,7 +957,7 @@ generate_css_style (GtkSourceStyleScheme *scheme)
style = gtk_source_style_scheme_get_style (scheme, STYLE_CURRENT_LINE_NUMBER);
if (style != NULL)
{
- append_css_style (final_style, style, ".current-line-number");
+ append_css_style (final_style, style, "textview .current-line-number");
}
if (*final_style->str != '\0')
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]