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

Dedicated docset management UI #354

Closed
trollixx opened this issue Jun 19, 2015 · 1 comment
Closed

Dedicated docset management UI #354

trollixx opened this issue Jun 19, 2015 · 1 comment
Labels
scope/ui/docset-manager scope/ui type/feature
Milestone
0.3.0

Comments

@trollixx
Copy link
Member

trollixx commented Jun 19, 2015 •
edited
Loading

Docsets should be managed via a dedicated UI, not in preferences.
@trollixx trollixx added this to the 0.2.0 milestone Jun 19, 2015
This was referenced Jun 25, 2015
Closed
Open
@trollixx trollixx mentioned this issue Jan 18, 2016
Merged
@trollixx trollixx mentioned this issue May 12, 2016
Closed
@trollixx trollixx modified the milestone: 0.3.0 Jul 21, 2016
@trollixx trollixx changed the title Dedicated docset management UI (meta) Dedicated docset management UI Sep 11, 2016
@trollixx trollixx added this to the 0.3.0 milestone Sep 11, 2016
@lock
Copy link

lock bot commented Sep 16, 2018

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for a related request.

@lock lock bot locked and limited conversation to collaborators Sep 16, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
scope/ui/docset-manager scope/ui type/feature
Milestone
0.3.0
Development

No branches or pull requests
1 participant
@trollixx