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

Fix #307 #314

Merged
merged 2 commits into from
Apr 3, 2017
Merged

Fix #307 #314

merged 2 commits into from
Apr 3, 2017

Conversation

pkra
Copy link
Contributor

@pkra pkra commented Apr 3, 2017 •
edited
Loading

Fix #307

@pkra pkra mentioned this pull request Apr 3, 2017
Closed
@dpvc
Copy link
Member

dpvc commented Apr 3, 2017

It is fine to add this check. An additional change might be to not delete the \textcolor, \definecolor, and other macros, so that if they are used, the color extension is loaded. But I suppose earlier uses of \color would then be inconsistent with the color extension. Just a thought.

@pkra pkra merged commit 8f18918 into develop Apr 3, 2017
@pkra pkra deleted the 307 branch April 3, 2017 15:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@pkra @dpvc @physikerwelt