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

apidoc: Let search preferentially find things on the current page #4853

Closed
jmesserly opened this issue Aug 30, 2012 · 14 comments
Closed

apidoc: Let search preferentially find things on the current page #4853

jmesserly opened this issue Aug 30, 2012 · 14 comments
Labels
type-enhancement A request for a change that isn't a bug

Comments

@jmesserly
Copy link

I was on http://api.dartlang.org/docs/continuous/dart_html/Element.html and I tried to search for "id". But none of the results were what I wanted. I figured out how to get there with "Element.id" but I think "search as you type" should consider the fact that I'm already on Element.html and use that to sort matches. In other words, prefer members on Element, then search more broadly.

(I'm also a bit surprised the exact text match didn't help. All of the matches were for types like IDBAny, IDBKey, etc)
@dgrove
Copy link
Contributor

dgrove commented Oct 18, 2012

for next-generation doc viewer.

cc @jmesserly.
Set owner to @jacob314.

@DartBot
Copy link

DartBot commented Mar 11, 2013

This comment was originally written by amouravski@google.com

Marked this as being blocked by #8857.

@jacob314
Copy link
Member

Set owner to @efortuna.

@efortuna
Copy link
Contributor

efortuna commented Oct 4, 2013

cc @alan-knight.
Removed the owner.

@alan-knight
Copy link
Contributor

I like it.

Added this to the Later milestone.
Removed Type-Defect label.
Added Type-Enhancement, Accepted labels.
Changed the title to: "apidoc: Let search preferentially find things on the current page".

@anders-sandholm
Copy link
Contributor

Added old-dartdoc label.

@alan-knight
Copy link
Contributor

This might be nice, but I suspect that having the table of contents view on the right makes most uses of this unnecessary.

Removed old-dartdoc label.

@kevmoo
Copy link
Member

kevmoo commented Mar 17, 2014

Added Pkg-DartDoc label.

@kevmoo
Copy link
Member

kevmoo commented Mar 17, 2014

Removed Area-DartDoc label.
Added Area-Pkg label.

@kevmoo
Copy link
Member

kevmoo commented Apr 7, 2014

Removed Area-Pkg label.
Added Area-DartDocViewer label.

@kevmoo
Copy link
Member

kevmoo commented Apr 7, 2014

Removed Pkg-DartDoc 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/dartdoc-viewer/issues

Added MovedToGithub label.

@srawlins srawlins mentioned this issue Jun 3, 2015
Closed
@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
10 participants
@kevmoo @jmesserly @jacob314 @dgrove @efortuna @kasperl @anders-sandholm @alan-knight @nicolasgarnier @DartBot