Switch to edit mode.
Name(s): trim1: ":trim (string [, space]) -- remove leading and trailing spaces"
2: ""
3: "`space' should be a character (single-character string); it defaults to \" \". Returns a copy of string with all leading and trailing copies of that character removed. For example, $string_utils:trim(\"***foo***\", \"*\") => \"foo\"."
4: {string, ?space = " " + this.tab} = args
5: m = match(string, tostr("[^", space, "](.*[^", space, "])?|$"))
6: return string[m[$][1]..m[$][2]]
7: "Last modified by manta (#7165) on Wed Feb 23 19:48:53 2000 MST."