I liked the font in the screenshot. Found out from author's dot files that the font is "Envy Code R" (http://www.fontsquirrel.com/fonts/Envy-Code-R)

Direct font download: https://damieng.com/blog/2008/05/26/envy-code-r-preview-7-co...