[gnome-builder] line-changes: tweak size of deletion mark some more

[Christian Hergert <chergert src gnome org>]

commit 2ff0846d4b3a5480e5fe88668ef5530682c76f52
Author: Christian Hergert <chergert redhat com>
Date:   Tue Feb 16 19:18:22 2016 -0800

    line-changes: tweak size of deletion mark some more

 libide/ide-line-change-gutter-renderer.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/libide/ide-line-change-gutter-renderer.c b/libide/ide-line-change-gutter-renderer.c
index 67502bf..63a8658 100644
--- a/libide/ide-line-change-gutter-renderer.c
+++ b/libide/ide-line-change-gutter-renderer.c
@@ -22,8 +22,8 @@
 #include "ide-line-change-gutter-renderer.h"
 #include "ide-vcs.h"
 
-#define DELETE_WIDTH  4.0
-#define DELETE_HEIGHT 7.0
+#define DELETE_WIDTH  5.0
+#define DELETE_HEIGHT 8.0
 
 #if 0
 # define ARROW_TOWARDS_GUTTER