From c31ab0ea964f61c4ed92e6aef6700f53b1571f49 Mon Sep 17 00:00:00 2001
From: mfranz <mfranz>
Date: Mon, 12 Jan 2009 12:27:41 +0000
Subject: [PATCH] showHelpDialog(): leave some margin for resizing

---
 Nasal/gui.nas | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Nasal/gui.nas b/Nasal/gui.nas
index d576378ce..fce778942 100644
--- a/Nasal/gui.nas
+++ b/Nasal/gui.nas
@@ -1027,6 +1027,7 @@ showHelpDialog = func {
         }
 
         w = dialog[name].addChild("textbox");
+        w.set("padding", 4);
         w.set("halign", "fill");
         w.set("valign", "fill");
         w.set("stretch", "true");