[gnome-builder/wip/gtk4-port] plugins/omni-gutter: reduce margin



commit 6b0a0b4ca3d65fbf7b2c8c9f0588379fe2755816
Author: Christian Hergert <chergert redhat com>
Date:   Mon May 2 13:55:21 2022 -0700

    plugins/omni-gutter: reduce margin
    
    Now that we overlap the add/change/delete drawing by a pixel, we can
    reduce this a bit more.

 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 e0ddb8919..e1f8e6f6f 100644
--- a/src/plugins/omni-gutter/gbp-omni-gutter-renderer.c
+++ b/src/plugins/omni-gutter/gbp-omni-gutter-renderer.c
@@ -52,7 +52,7 @@
  * Since: 3.32
  */
 
-#define RIGHT_MARGIN 4
+#define RIGHT_MARGIN 2
 #define CHANGE_WIDTH 2
 #define DELETE_WIDTH 5
 #define DELETE_HEIGHT 2


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