Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add support for tables #864

Closed
MisterDA opened this issue Jun 9, 2022 · 3 comments
Closed

Add support for tables #864

MisterDA opened this issue Jun 9, 2022 · 3 comments
Labels
enhancement New feature or request parser

Comments

@MisterDA
Copy link
Contributor

MisterDA commented Jun 9, 2022 •
edited
Loading

In documentation it can be really handy to have tables (for instance, for side-by-side comparison). It would be nice if odoc had a native syntax support for tables. For now I resort to using the {%html: …%} tag.
@dbuenzli dbuenzli added parser enhancement New feature or request labels Jun 9, 2022
@dbuenzli dbuenzli mentioned this issue Jun 9, 2022
Closed
@MisterDA MisterDA mentioned this issue Jun 9, 2022
Merged
@jonludlam
Copy link
Member

@gpetiot has made a draft PR with a suggestion for concrete syntax on the odoc-parser repository - I think it would be very useful to get some feedback there.

@emillon
Copy link

emillon commented Jun 20, 2023

Done in #893 if I'm not mistaken

@panglesd
Copy link
Collaborator

Yes!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request parser
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
5 participants
@jonludlam @dbuenzli @emillon @MisterDA @panglesd