'main': Highlight 'nice'.

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