make dialog resizable with Ctrl-dragging
This commit is contained in:
parent
29d6566de9
commit
198d1cb60f
1 changed files with 3 additions and 0 deletions
|
@ -1011,6 +1011,7 @@ showHelpDialog = func {
|
||||||
|
|
||||||
# scrollable text area
|
# scrollable text area
|
||||||
if (node.getNode("text") != nil) {
|
if (node.getNode("text") != nil) {
|
||||||
|
dialog[name].set("resizable", 1);
|
||||||
dialog[name].addChild("empty").set("pref-height", 10);
|
dialog[name].addChild("empty").set("pref-height", 10);
|
||||||
|
|
||||||
width = [640, 800, 1152][col];
|
width = [640, 800, 1152][col];
|
||||||
|
@ -1021,6 +1022,8 @@ showHelpDialog = func {
|
||||||
|
|
||||||
w = dialog[name].addChild("textbox");
|
w = dialog[name].addChild("textbox");
|
||||||
w.set("halign", "fill");
|
w.set("halign", "fill");
|
||||||
|
w.set("valign", "fill");
|
||||||
|
w.set("stretch", "true");
|
||||||
w.set("slider", 20);
|
w.set("slider", 20);
|
||||||
w.set("pref-width", width);
|
w.set("pref-width", width);
|
||||||
w.set("pref-height", height);
|
w.set("pref-height", height);
|
||||||
|
|
Loading…
Reference in a new issue