From 9bf510a75517eac6f1925d40b873ad20a24d8f97 Mon Sep 17 00:00:00 2001 From: Jeremy Maitin-Shepard Date: Thu, 9 Oct 2008 17:58:46 -0700 Subject: [PATCH] describe-variable: don't print default value if it is equal to undefined --- modules/help.js | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/modules/help.js b/modules/help.js index 60c4317..574deac 100644 --- a/modules/help.js +++ b/modules/help.js @@ -632,12 +632,14 @@ describe_variable_buffer.prototype = { if (uvar.doc != null) g.help_text(uvar.doc, d.body); - p = g.element("p", d.body); - g.text("Its default value is: ", p); - { - let s = pretty_print_value(user_variables.get(this.variable).default_value); - let pre = g.element("pre", p); - g.text(s, pre); + if (uvar.default_value !== undefined) { + p = g.element("p", d.body); + g.text("Its default value is: ", p); + { + let s = pretty_print_value(uvar.default_value); + let pre = g.element("pre", p); + g.text(s, pre); + } } }, -- 2.11.4.GIT