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

Support for comment package? #6

Closed
yuxincs opened this issue Apr 23, 2019 · 3 comments
Closed

Support for comment package? #6

yuxincs opened this issue Apr 23, 2019 · 3 comments
Assignees
@jponttuset
Labels
enhancement New feature or request

Comments

@yuxincs
Copy link

yuxincs commented Apr 23, 2019

Thanks for this great project, it would nice to see support for comment package.

\begin{comment}
This can also be treated as comments and properly removed.
\end{comment}
@jponttuset jponttuset added the enhancement New feature or request label Apr 25, 2019
@jponttuset
Copy link
Collaborator

Thanks RyanWangGit!
I am aware of this limitation, and I plan to add support for it at some point.

@yuxincs
Copy link
Author

yuxincs commented Apr 25, 2019

Great to hear that!

Just FYI the following regex seems to be working for me to capture comment (also works in nested case), not sure if it breaks anything, though.

\\begin\{comment\}[\s\S]*\\end{comment}

@jponttuset
Copy link
Collaborator

I implemented this in commit 367d60724a6b04467d4f85487b385edaa8baedf1.

@jponttuset jponttuset self-assigned this Jun 4, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jponttuset jponttuset

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jponttuset @yuxincs