From 5011f65f74728c655b245f91ed7f77d995a5bcf6 Mon Sep 17 00:00:00 2001
From: Yevgen Muntyan <17531749+muntyan@users.noreply.github.com>
Date: Tue, 22 Aug 2006 23:22:03 -0500
Subject: [PATCH] Draw a bit smaller placeholder box

---
 moo/mooedit/mootextview.c | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/moo/mooedit/mootextview.c b/moo/mooedit/mootextview.c
index dc6ac685..079f6615 100644
--- a/moo/mooedit/mootextview.c
+++ b/moo/mooedit/mootextview.c
@@ -2154,10 +2154,10 @@ draw_box (GtkTextView       *text_view,
     gtk_text_view_buffer_to_window_coords (text_view, GTK_TEXT_WINDOW_TEXT,
                                            rect.x, rect.y, &rect.x, &rect.y);
 
-    rect.x += 1;
-    rect.y += 1;
-    rect.width -= 3;
-    rect.height -= 3;
+    rect.x += 2;
+    rect.y += 2;
+    rect.width -= 4;
+    rect.height -= 4;
 
     if (selected)
         gc = GTK_WIDGET(text_view)->style->base_gc[GTK_STATE_NORMAL];