From 198d1cb60f791e19e5a0feda5ea7a683baf12343 Mon Sep 17 00:00:00 2001
From: mfranz <mfranz>
Date: Sat, 10 Jan 2009 22:31:30 +0000
Subject: [PATCH] make dialog resizable with Ctrl-dragging

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

diff --git a/Nasal/gui.nas b/Nasal/gui.nas
index 66847f887..046bcec12 100644
--- a/Nasal/gui.nas
+++ b/Nasal/gui.nas
@@ -1011,6 +1011,7 @@ showHelpDialog = func {
 
     # scrollable text area
     if (node.getNode("text") != nil) {
+        dialog[name].set("resizable", 1);
         dialog[name].addChild("empty").set("pref-height", 10);
 
         width = [640, 800, 1152][col];
@@ -1021,6 +1022,8 @@ showHelpDialog = func {
 
         w = dialog[name].addChild("textbox");
         w.set("halign", "fill");
+        w.set("valign", "fill");
+        w.set("stretch", "true");
         w.set("slider", 20);
         w.set("pref-width", width);
         w.set("pref-height", height);