}
if (token == "value")
{
- getline(uip, token); // reads until end of line
+ // Reads until end of line and left trim white space
+ getline(uip, token);
+ token.erase(0, token.find_first_not_of(" \n\r\t"));
+
set_option_value(name, token);
} else
push_button(name);