[gnome-builder/wip/gtk4-port] plugins/omni-gutter: overlap line changes by 1 pixel



commit af92c3e9c50d95c694e64e95fa296d7fed4f0945
Author: Christian Hergert <chergert redhat com>
Date:   Sat Apr 30 10:04:51 2022 -0700

    plugins/omni-gutter: overlap line changes by 1 pixel
    
    We want these to look like they overlap both the view and gutter. It both
    gives 1 extra padding pixel to the document and also ties the two together
    making them look like they have less seams.

 src/plugins/omni-gutter/gbp-omni-gutter-renderer.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/plugins/omni-gutter/gbp-omni-gutter-renderer.c 
b/src/plugins/omni-gutter/gbp-omni-gutter-renderer.c
index 7c76360a6..67f3c1e87 100644
--- a/src/plugins/omni-gutter/gbp-omni-gutter-renderer.c
+++ b/src/plugins/omni-gutter/gbp-omni-gutter-renderer.c
@@ -1163,7 +1163,7 @@ draw_line_change (GbpOmniGutterRenderer *self,
     {
       gtk_snapshot_append_color (snapshot,
                                  info->is_add ? &self->changes.add : &self->changes.change,
-                                 &GRAPHENE_RECT_INIT (width - CHANGE_WIDTH, line_y, CHANGE_WIDTH, height));
+                                 &GRAPHENE_RECT_INIT (width - CHANGE_WIDTH - 1, line_y, CHANGE_WIDTH, 
height));
     }
 
   if (info->is_prev_delete)


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]