- From: Peter Krautzberger <peter.krautzberger@mathjax.org>
- Date: Wed, 15 Jul 2015 16:15:49 +0200
- To: Chris Lilley <chris@w3.org>
- Cc: Dave Cramer <dauwhe@gmail.com>, public-houdini@w3.org
Received on Wednesday, 15 July 2015 14:16:18 UTC
Thanks again to Dave for bugging me. I wasn't sure if this is useful to the group here and will be happy to provide additional details. Peter. On Wed, Jul 15, 2015 at 1:03 PM, Chris Lilley <chris@w3.org> wrote: > Hello Dave, > > Wednesday, July 15, 2015, 12:42:24 PM, you wrote: > > > Peter Krautzberger from MathJax has written up some use cases for > > the Font Metrics API. I've put them on the Houdini wiki [1]. > > > [1] https://wiki.css-houdini.org/font-metrics-extensions > > Oh great, thanks Peter and Dave for that. > > I have a bunch of issues and questions that I have been collecting. And > now that I am going on vacation for 2 weeks, I will have the time to > sort through them and post them :) > > (That is how vacations work, right?) > > -- > Best regards, > Chris Lilley > Technical Director, W3C Interaction Domain > >
Received on Wednesday, 15 July 2015 14:16:18 UTC