Rename decoration_border to child_border.

fixes #2154
2016-01-09 16:47:33 -05:00
parent f14a94031c
commit 811ff07b8e
7 changed files with 40 additions and 42 deletions
--- a/parser-specs/config.spec
+++ b/parser-specs/config.spec
@ -282,13 +282,13 @@ state COLOR_TEXT:

 state COLOR_INDICATOR:
  indicator = word
-      -> COLOR_DECORATION_BORDER
+      -> COLOR_CHILD_BORDER
  end
      -> call cfg_color($colorclass, $border, $background, $text, NULL, NULL)

-state COLOR_DECORATION_BORDER:
-  decoration_border = word
-      -> call cfg_color($colorclass, $border, $background, $text, $indicator, $decoration_border)
+state COLOR_CHILD_BORDER:
+  child_border = word
+      -> call cfg_color($colorclass, $border, $background, $text, $indicator, $child_border)
  end
      -> call cfg_color($colorclass, $border, $background, $text, $indicator, NULL)