Bugfix: Also allow WORDs as workspace names (Thanks Grauwolf)

This commit is contained in:
Michael Stapelberg 2009-11-18 19:53:57 +01:00
parent c53e84e230
commit 93d7ab43be
1 changed files with 1 additions and 0 deletions

View File

@ -412,6 +412,7 @@ optional_workspace_name:
workspace_name: workspace_name:
QUOTEDSTRING { $<string>$ = $<string>1; } QUOTEDSTRING { $<string>$ = $<string>1; }
| STR { $<string>$ = $<string>1; } | STR { $<string>$ = $<string>1; }
| WORD { $<string>$ = $<string>1; }
; ;
screen: screen: