[gnome-builder/wip/gtk4-port: 835/1774] plugins/omni-gutter: reduce margin
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/wip/gtk4-port: 835/1774] plugins/omni-gutter: reduce margin
- Date: Mon, 11 Jul 2022 22:31:25 +0000 (UTC)
commit 34f2563554cb8dd101ee9c4370ae84c8ee277b44
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]