From 0e8b87e9da8e0a574cb2c2852773534f70292564 Mon Sep 17 00:00:00 2001
From: Michael Stapelberg <michael@stapelberg.de>
Date: Sat, 19 Sep 2009 19:39:06 +0200
Subject: [PATCH] lexer: Implement workspace <number> "<name>"

---
 src/cfgparse.y | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/cfgparse.y b/src/cfgparse.y
index 4b7224b5..7875f86e 100644
--- 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: