Stream: wg-async-foundations/book

Topic: line-numbers


nikomatsakis (Jun 25 2019 at 17:56, on Zulip):

@Taylor Cramer I think what we want to do re: line-numbers is to write some kind of mdbook plugin that lets you reference "search terms". e.g., instead of foo.rs:3:5, i'd like to write

#include foo.rs:START_01:END_01

and then have

// START_01
blah
blah
blah
// END_01

in the source

nikomatsakis (Jun 25 2019 at 17:56, on Zulip):

but...annoying

Taylor Cramer (Jun 25 2019 at 18:40, on Zulip):

Yup, that'd be nice

Jake Goulding (Jun 25 2019 at 19:39, on Zulip):
nikomatsakis (Jun 25 2019 at 19:48, on Zulip):

oooh

nikomatsakis (Jun 25 2019 at 19:49, on Zulip):

I suppose I have merge powers on mdbook :P

Last update: Nov 15 2019 at 10:25UTC