Implement configuration setting to change the default border of windows

This commit is contained in:
Michael Stapelberg
2009-11-08 12:43:01 +01:00
parent 876417f49d
commit 64c99cb235
6 changed files with 41 additions and 6 deletions

View File

@ -194,6 +194,7 @@ void parse_file(const char *f) {
%token TOKARROW
%token TOKMODE
%token TOKNEWCONTAINER
%token TOKNEWWINDOW
%token TOKCONTAINERMODE
%token TOKSTACKLIMIT
@ -209,6 +210,7 @@ line:
| mode
| floating_modifier
| new_container
| new_window
| workspace
| assign
| ipcsocket
@ -367,6 +369,14 @@ new_container:
}
;
new_window:
TOKNEWWINDOW WHITESPACE WORD
{
LOG("new windows should start in mode %s\n", $<string>3);
config.default_border = strdup($<string>3);
}
;
workspace:
TOKWORKSPACE WHITESPACE NUMBER WHITESPACE TOKSCREEN WHITESPACE screen optional_workspace_name
{