Re: [racket-users] Re: plot legends

2018-12-01 Thread Alex Harsanyi
On Sunday, December 2, 2018 at 7:10:36 AM UTC+8, Matt Jadud wrote: > > Thanks for the pointer; I should have searched the group history before > asking. And, perhaps, the ticket queue. > > For what I'm exploring right now, that would be just fine, and makes > perfect sense, and will let me proc

Re: [racket-users] Re: plot legends

2018-12-01 Thread Matt Jadud
Thanks for the pointer; I should have searched the group history before asking. And, perhaps, the ticket queue. For what I'm exploring right now, that would be just fine, and makes perfect sense, and will let me proceed with explorations without (yet) making pull requests. However, I personally f