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

Jump to bottom

pub: search as you type #7534

Closed
jmesserly opened this issue Dec 19, 2012 · 7 comments
Closed

pub: search as you type #7534

jmesserly opened this issue Dec 19, 2012 · 7 comments
Labels
type-enhancement A request for a change that isn't a bug

Comments

@jmesserly
Copy link

because instant feedback is awesome
@munificent
Copy link
Member

Added this to the Later milestone.

@munificent
Copy link
Member

Removed Type-Defect label.
Added Type-Enhancement label.

@munificent
Copy link
Member

Removed Area-Pub label.
Added Area-PubSite label.

@kasperl
Copy link

kasperl commented Jul 10, 2014

Removed this from the Later milestone.
Added Oldschool-Milestone-Later label.

@kasperl
Copy link

kasperl commented Aug 4, 2014

Removed Oldschool-Milestone-Later label.

@nicolasgarnier
Copy link
Contributor

This issue has been moved to Github as part of a migration. Please use the Issue on Github going forward: https://github.com/dart-lang/pub-dartlang/issues

Added MovedToGithub label.

This was referenced Jun 3, 2015
Closed
Closed
Closed
@DartBot
Copy link

DartBot commented Jun 5, 2015

This issue has been moved to dart-archive/pub-dartlang#309.

@kevmoo kevmoo added type-enhancement A request for a change that isn't a bug and removed type-enhancement labels Mar 1, 2016
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
type-enhancement A request for a change that isn't a bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
6 participants
@kevmoo @munificent @jmesserly @kasperl @nicolasgarnier @DartBot