Bugfix: Also allow WORDs as workspace names (Thanks Grauwolf)
This commit is contained in:
parent
fb04388289
commit
6a5bdf6f8e
|
@ -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:
|
||||||
|
|
Loading…
Reference in New Issue