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

Mixed args in jsdoc #93851

Closed
jrieken opened this issue Mar 31, 2020 · 1 comment
Closed

Mixed args in jsdoc #93851

jrieken opened this issue Mar 31, 2020 · 1 comment
Assignees
@mjbvz
Labels
bug Issue identified by VS Code Team member as probable bug custom-editors Custom editor API (webview based editors) verified Verification succeeded
Milestone
March 2020

Comments

@jrieken
Copy link
Member

jrieken commented Mar 31, 2020 •
edited

re #93767

The docs for the ctor-args of CustomDocument are mixed

Screenshot 2020-03-31 at 10 57 09
mjbvz added a commit that referenced this issue Mar 31, 2020
@mjbvz
Fix jsdoc for CustomDocument ctor
26a3d4e 
For #93851
@mjbvz
Copy link
Contributor

mjbvz commented Apr 3, 2020

This was fixed by 26a3d4e

@mjbvz mjbvz closed this as completed Apr 3, 2020
@mjbvz mjbvz added this to the March 2020 milestone Apr 3, 2020
@mjbvz mjbvz added bug Issue identified by VS Code Team member as probable bug custom-editors Custom editor API (webview based editors) labels Apr 3, 2020
@JacksonKearl JacksonKearl added the verified Verification succeeded label Apr 3, 2020
@github-actions github-actions bot locked and limited conversation to collaborators May 18, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@mjbvz mjbvz

Labels
bug Issue identified by VS Code Team member as probable bug custom-editors Custom editor API (webview based editors) verified Verification succeeded
Projects
None yet
Milestone
March 2020
Development

No branches or pull requests
3 participants
@jrieken @JacksonKearl @mjbvz