Add filtering for the repository selector.
Review Request #4526 — Created Sept. 4, 2013 and submitted
Add filtering for the repository selector.
This change adds a search box for the repository list, which should help for
servers that have a ton of repos connected.
- Tested the animation back and forth to make sure everything was silky smooth
and drew correctly. - Added a couple repositories with different names. Checked that searches
worked as expected. - Ran jshint.
Description | From | Last Updated |
---|---|---|
It's a bit cramped and harsh. I'd suggest 2px padding inside, and a border color closer to #CCC or #999. … |
chipx86 |
-
This is a review from Review Bot.
Tool: Pyflakes
Processed Files:
Ignored Files:
reviewboard/static/rb/js/newReviewRequest/views/repositorySelectionView.js
reviewboard/static/rb/css/newReviewRequest.less
reviewboard/static/rb/js/newReviewRequest/views/repositoryView.js
-
This is a review from Review Bot.
Tool: PEP8 Style Checker
Processed Files:
Ignored Files:
reviewboard/static/rb/js/newReviewRequest/views/repositorySelectionView.js
reviewboard/static/rb/css/newReviewRequest.less
reviewboard/static/rb/js/newReviewRequest/views/repositoryView.js