'main': Highlight 'nice'.

Fixes #168.
2016-07-28 08:22:40 +00:00
parent 5694221939
commit 8b11ca087e
2 changed files with 42 additions and 0 deletions
--- a/highlighters/main/main-highlighter.zsh
+++ b/highlighters/main/main-highlighter.zsh
@@ -243,6 +243,7 @@ _zsh_highlight_highlighter_main_paint()
  local -A precommand_options
  precommand_options=(
    'command' ''
+    'nice' n
    'sudo' Cgprtu
  )