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

search results can spill under nodes below #1701

Open
rade opened this issue Jul 20, 2016 · 0 comments
Open

search results can spill under nodes below #1701

rade opened this issue Jul 20, 2016 · 0 comments
Labels
chore Related to fix/refinement/improvement of end user or new/existing developer functionality component/ui Predominantly a front-end issue; most/all of the work can be completed by a f/e developer help-wanted An issue that would be good for non-maintainers to attempt
Milestone
Backlog

Comments

@rade
Copy link
Member

rade commented Jul 20, 2016

Seen in #1693 (comment)
@rade rade added component/ui Predominantly a front-end issue; most/all of the work can be completed by a f/e developer chore Related to fix/refinement/improvement of end user or new/existing developer functionality labels Jul 20, 2016
@rade rade mentioned this issue Aug 5, 2016
Closed
@davkal davkal added the help-wanted An issue that would be good for non-maintainers to attempt label Oct 14, 2016
@rade rade modified the milestone: Backlog Jan 10, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
chore Related to fix/refinement/improvement of end user or new/existing developer functionality component/ui Predominantly a front-end issue; most/all of the work can be completed by a f/e developer help-wanted An issue that would be good for non-maintainers to attempt
Projects
None yet
Milestone
Backlog
Development

No branches or pull requests
2 participants
@rade @davkal