From dfa40c79b0f97e483f1ede5ad2e1adf9de0589d7 Mon Sep 17 00:00:00 2001
From: "Geoffrey D. Bennett" <g@b4.vu>
Date: Thu, 30 Nov 2023 00:43:05 +1030
Subject: [PATCH] Add margin to socket widget

---
 src/window-routing.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/window-routing.c b/src/window-routing.c
index 4a3475e..45df3fc 100644
--- a/src/window-routing.c
+++ b/src/window-routing.c
@@ -357,6 +357,7 @@ static GtkWidget *make_socket_widget(void) {
   );
   gtk_widget_set_align(w, GTK_ALIGN_CENTER, GTK_ALIGN_CENTER);
   gtk_picture_set_can_shrink(GTK_PICTURE(w), FALSE);
+  gtk_widget_set_margin(w, 2);
   return w;
 }