# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1482206733 28800
# Node ID 2060d92ccc2f8e3612b656723c49b18bb595c483
# Parent  9e6333a505a95eb7a04e43f5cdc8e6371b675081
Use `hack` font if it's there.

diff -r 9e6333a505a9 -r 2060d92ccc2f vim/vimrc
--- a/vim/vimrc	Mon Dec 19 20:04:55 2016 -0800
+++ b/vim/vimrc	Mon Dec 19 20:05:33 2016 -0800
@@ -193,7 +193,7 @@
 if s:vim_platform == "windows"
     set guifont=Consolas:h12
 else
-    set guifont=Monaco:h12
+    set guifont=Hack:h12,Monaco:h12
 endif
 
 " Syntax highlighting.