Comment by mindentropy

Can someone identify what font Bram Moolenaar was using in 2015 screen shot?