Added focus_follows_mouse config option

This commit is contained in:
Kim Silkebækken (lokaltog)
2010-01-26 12:10:48 +01:00
committed by Michael Stapelberg
parent 7c7756d75f
commit 7f10970fc7
4 changed files with 14 additions and 1 deletions

View File

@ -197,6 +197,7 @@ void parse_file(const char *f) {
%token TOKMODE
%token TOKNEWCONTAINER
%token TOKNEWWINDOW
%token TOKFOCUSFOLLOWSMOUSE
%token TOKCONTAINERMODE
%token TOKSTACKLIMIT
@ -213,6 +214,7 @@ line:
| floating_modifier
| new_container
| new_window
| focus_follows_mouse
| workspace
| assign
| ipcsocket
@ -379,6 +381,13 @@ new_window:
}
;
focus_follows_mouse:
TOKFOCUSFOLLOWSMOUSE WHITESPACE NUMBER
{
config.focus_follows_mouse = ($<number>3 == 0 ? 0 : 1);
}
;
workspace:
TOKWORKSPACE WHITESPACE NUMBER WHITESPACE TOKSCREEN WHITESPACE screen optional_workspace_name
{