On Wed, Jul 15, 2015 at 6:28 PM, Marco Antoniotti <marcoxa at cs.nyu.edu> wrote: > I second that. > > “Compile Buffer” is a very good thing to have. Any suggestions for a key binding? -- Luís Oliveira http://kerno.org/~luis/