Add configuration option to turn off workspace bar

This commit is contained in:
Michael Stapelberg
2010-03-13 19:15:28 +01:00
parent a0465a9a4f
commit 2df374ca4c
3 changed files with 17 additions and 0 deletions

View File

@ -221,6 +221,7 @@ void parse_file(const char *f) {
%token TOKNEWCONTAINER "new_container"
%token TOKNEWWINDOW "new_window"
%token TOKFOCUSFOLLOWSMOUSE "focus_follows_mouse"
%token TOKWORKSPACEBAR "workspace_bar"
%token TOKCONTAINERMODE "default/stacking/tabbed"
%token TOKSTACKLIMIT "stack-limit"
@ -239,6 +240,7 @@ line:
| new_container
| new_window
| focus_follows_mouse
| workspace_bar
| workspace
| assign
| ipcsocket
@ -429,6 +431,14 @@ focus_follows_mouse:
}
;
workspace_bar:
TOKWORKSPACEBAR WHITESPACE bool
{
DLOG("workspace bar = %d\n", $<number>3);
config.disable_workspace_bar = !($<number>3);
}
;
workspace:
TOKWORKSPACE WHITESPACE NUMBER WHITESPACE TOKOUTPUT WHITESPACE OUTPUT optional_workspace_name
{