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

Highlight search result on keyboard navigation #956

Merged
merged 1 commit into from Apr 4, 2016
Merged

Highlight search result on keyboard navigation #956

merged 1 commit into from Apr 4, 2016

Conversation

fredj
Copy link
Member

@fredj fredj commented Mar 30, 2016

fixes #926

@fredj fredj force-pushed the search_keyboard_highlight branch from ad7280c to 8541608 Compare March 30, 2016 08:34
@fredj
Copy link
Member Author

fredj commented Apr 4, 2016

@sbrunner ready to be merged ?

@sbrunner
Copy link
Member

sbrunner commented Apr 4, 2016

Looks good for me :-)

@fredj
Copy link
Member Author

fredj commented Apr 4, 2016

Thanks for the review

@fredj fredj merged commit d7f8d78 into camptocamp:master Apr 4, 2016
@fredj fredj deleted the search_keyboard_highlight branch April 4, 2016 09:44
@sbrunner sbrunner added this to the Older milestone Aug 23, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
Older
Development

Successfully merging this pull request may close these issues.

Desktop search usability
2 participants
@fredj @sbrunner