Re: table extension with colon for disable multiline table

[John MacFarlane <jgm-TVLZxgkOlNX2fBVCVOL8/A@public.gmane.org>]

It looks like this is a format for allowing multiline
cells in pipe tables.  I don't know what implementations support
it?  Pandoc does not.

Mingting Sun <smt19871226-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> writes:

> Hello
>
> I am new to pandoc and markdown.
> when I read other's markdown file, I find below table syntax.
>
> | Arguments             | Type                    | Semantics              
>     |
> | --------------------- | ----------------------- | 
> -------------------------- |
> | `operand`             | `XlaOp`                 | n dimensional input 
> array  |
> | `source_target_pairs` | `<int64, int64>` vector | A list of              
>     |
> :                       :                         : (source_replica_id,    
>     :
> :                       :                         : target_replica_id) 
> pairs.  :
> :                       :                         : For each pair, the 
> operand :
> :                       :                         : is sent from source    
>     :
> :                       :                         : replica to target 
> replica. :
>
>
> I search from internet, and I find one page, 
> https://groups.google.com/g/pandoc-discuss/c/WZ8J3C1AAQc
> I try to enable/disable these extensions with pandoc. 
> no extensions can render long line table as above.
>
> I guess maybe is there any extension support this synatx ?
> can anyone guide me which extension could output about format?
>
> any suggestion is welcome, thanks in advance.
>
> BR.
> Mingting
>
>
> -- 
> You received this message because you are subscribed to the Google Groups "pandoc-discuss" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
> To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/c0d22526-05a8-4031-8161-4f21d835706cn%40googlegroups.com.