Implement new criterion 'window_type = normal|dialog|utility|toolbar|splash|menu|dropdown_menu|popup_menu|tooltip'

fixes #1658
2015-04-18 21:09:03 +02:00
parent 7e424b2d71
commit 550c0ec318
13 changed files with 142 additions and 24 deletions
--- a/parser-specs/commands.spec
+++ b/parser-specs/commands.spec
@ -49,6 +49,7 @@ state CRITERIA:
  ctype = 'con_mark' -> CRITERION
  ctype = 'title' -> CRITERION
  ctype = 'urgent' -> CRITERION
+  ctype = 'window_type' -> CRITERION
  ']' -> call cmd_criteria_match_windows(); INITIAL

 state CRITERION:
--- a/parser-specs/config.spec
+++ b/parser-specs/config.spec
@ -167,6 +167,7 @@ state CRITERIA:
  ctype = 'window_role' -> CRITERION
  ctype = 'con_id'      -> CRITERION
  ctype = 'id'          -> CRITERION
+  ctype = 'window_type' -> CRITERION
  ctype = 'con_mark'    -> CRITERION
  ctype = 'title'       -> CRITERION
  ctype = 'urgent'      -> CRITERION