Method String.trim_all_whites()

Method trim_all_whites

string trim_all_whites(string s)

Description

Trim leading and trailing white spaces characters (space, tab, newline, carriage return, form feed, vertical tab and all the white spaces defined in Unicode) from the string s.