diff --git a/src/cfgparse.y b/src/cfgparse.y index 4b7224b51..7875f86eb 100644 --- a/src/cfgparse.y +++ b/src/cfgparse.y @@ -257,6 +257,16 @@ workspace: workspace_set_name(&(workspaces[ws_num - 1]), $8); } } + | TOKWORKSPACE WHITESPACE NUMBER workspace_name + { + int ws_num = $3; + if (ws_num < 1 || ws_num > 10) { + LOG("Invalid workspace assignment, workspace number %d out of range\n", ws_num); + } else { + if ($4 != NULL) + workspace_set_name(&(workspaces[ws_num - 1]), $4); + } + } ; workspace_name: