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.

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

Pass document path to plugin settings #418

Closed
wants to merge 1 commit into from
Closed

Conversation

gatesn
Copy link
Contributor

@gatesn gatesn commented Sep 9, 2018

Fixes #413

@st4lk
Copy link
Contributor

st4lk commented Dec 16, 2018

@gatesn Any chance this PR will be merged soon?

@mnauw
Copy link
Contributor

mnauw commented Jul 14, 2020

So I ran into some problems similar to the original #413 and was about to make a PR with a patch (along the lines as this one). Is there any chance on this PR (or update thereof) getting merged?

@ccordoba12
Copy link
Contributor

Closing in favor of #845.

@ccordoba12 ccordoba12 closed this Oct 5, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants