lexer: Implement workspace <number> "<name>"

tdemin · Sep 19, 2009 · 0e8b87e · 0e8b87e
1 parent 0ed2d62
commit 0e8b87e
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/src/cfgparse.y b/src/cfgparse.y
@@ -257,6 +257,16 @@ workspace:
                                 workspace_set_name(&(workspaces[ws_num - 1]), $<string>8);
                 }
         }
+	| TOKWORKSPACE WHITESPACE NUMBER workspace_name
+	{
+                int ws_num = $<number>3;
+                if (ws_num < 1 || ws_num > 10) {
+                        LOG("Invalid workspace assignment, workspace number %d out of range\n", ws_num);
+                } else {
+			if ($<string>4 != NULL)
+					workspace_set_name(&(workspaces[ws_num - 1]), $<string>4);
+		}
+	}
         ;
 
 workspace_name: