[gnome-builder/wip/gtk4-port: 824/1774] plugins/omni-gutter: overlap line changes by 1 pixel
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/wip/gtk4-port: 824/1774] plugins/omni-gutter: overlap line changes by 1 pixel
- Date: Mon, 11 Jul 2022 22:31:25 +0000 (UTC)
commit 56e8a00daa9d48ac6d5d8c4e6271a4d03e09fa26
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]