From 2ed87717245146e74e3153916ba8213b0ba4c215 Mon Sep 17 00:00:00 2001
From: mfranz <mfranz>
Date: Wed, 28 Jan 2009 21:12:15 +0000
Subject: [PATCH] padding (for easier resizing); stretch for nicer tab button
 alignment

---
 gui/dialogs/nasal-console.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gui/dialogs/nasal-console.xml b/gui/dialogs/nasal-console.xml
index cc64b0dc5..e02d77fe1 100644
--- a/gui/dialogs/nasal-console.xml
+++ b/gui/dialogs/nasal-console.xml
@@ -40,6 +40,7 @@
 		<stretch>true</stretch>
 		<pref-width>450</pref-width>
 		<pref-height>200</pref-height>
+		<padding>6</padding>
 		<slider>20</slider>
 		<editable>true</editable>
 		<wrap>false</wrap>
@@ -60,11 +61,13 @@
 	<group>
 		<layout>hbox</layout>
 		<halign>fill</halign>
+		<stretch>true</stretch>
 		<default-padding>4</default-padding>
 
 		<button-template>
 			<enabled>false</enabled>
 			<halign>fill</halign>
+			<stretch>true</stretch>
 			<pref-width>20</pref-width>
 			<pref-height>20</pref-height>
 			<one-shot>0</one-shot>