RE: mtable borders etc

Let me explain what we, as a company, were requested regarding mtable frame
and borders (rowlines and columnlines).



frame: be able to set top, left, bottom and right borders independently.
This does not seem difficult to add to the specification. I would recommend
it because you currently can specify the inner borders independently via
rowlines and columnlines.



borders: requested a “dotted” style. I personally think that this is not so
important.



Dani, from WIRIS



*From:* neil.soiffer@gmail.com [mailto:neil.soiffer@gmail.com] *On Behalf
Of *Neil Soiffer
*Sent:* martes, 11 de noviembre de 2014 1:56
*To:* Peter Krautzberger
*Cc:* www-math@w3.org
*Subject:* Re: mtable borders etc



Did you have a proposal? One easy thing to do in the next version of MathML
(who knows when that would be) would be to extend the legal values to
'doubleline" or "solidsolid" or some such.

In general, this is a losing game because someone may next want dashed
double lines or dashed lines with arrows on each dash or...  Without the
programability of TeX, a finite list of the higher use cases is all that
can be done for MathML (and HTML-based languages in general).

My bigger concern is that adding features raises the bar for implementers
that are already having trouble implementing features. Having characters
that stretch for spanning rows/cols in an mtable seems much more important
and that is unfortunately not widely implemented.

    Neil



On Mon, Nov 10, 2014 at 2:42 PM, Peter Krautzberger <
peter.krautzberger@mathjax.org> wrote:

Hi,



The mtable element is limited in terms of columnlines, rowlines, and frame.
In particular, this has come up on the MathJax user group
<https://groups.google.com/forum/#!searchin/mathjax-users/I$20guess$20it$27s$20mostly$20a$20matter$20of$20convenience$2C$20as$20maths$20folks$20are$20usually$20quite$20familiar$20with$20TeX$20but$20not$20so$20with$20HTML.$20%7Csort:relevance/mathjax-users/6vMvWrSCSzA/BH-dfMd5tK4J>
a
few years ago and has resurfaced in a bug report for MediaWiki/Wikipedia
<https://bugzilla.wikimedia.org/show_bug.cgi?id=73169> a few days ago.



Perhaps there's something constructive to be done about it?



Best wishes,

Peter.

Received on Tuesday, 11 November 2014 08:36:52 UTC