diff --git a/Nasal/prop_key_handler.nas b/Nasal/prop_key_handler.nas index 8452c307d..86a129a00 100644 --- a/Nasal/prop_key_handler.nas +++ b/Nasal/prop_key_handler.nas @@ -14,7 +14,7 @@ # * -> print property and all children to terminal # ! -> add property to display list (reset list with /!) # : -> open property browser in this property's directory -# ? -> print all properties whose path contains this string +# ? -> print all properties whose path or value contains this string # # # Keys: @@ -25,7 +25,7 @@ # ... like but cycles backwards # / ... switch back/forth in the history # ... cancel the operation -# ... remove last, whole path element +# ... remove last whole path element # # # Colors: @@ -283,7 +283,7 @@ var print_prop = func(n) { var search = func(n, s) { if (find(s, n.getPath()) >= 0) print_prop(n); - if (n.getType() != "NONE" and find(s, "" ~ n.getValue()) >= 0) + elsif (n.getType() != "NONE" and find(s, "" ~ n.getValue()) >= 0) print_prop(n); foreach (var c; n.getChildren()) search(c, s);