Agreed -- the "Matched repositories" sidebar alone will save me A LOT of scrolling / frustration. Thank you!
Best, Isaac
On Wed, Oct 19, 2022 at 1:48 PM Derk-Jan Hartman < d.j.hartman+wmf_ml@gmail.com> wrote:
Really liking the redesign ! Well done to the both of you
On Sat, Oct 8, 2022 at 6:39 AM Kunal Mehta legoktm@debian.org wrote:
Hi,
Over two years ago[1] I worked on redesigning the Codesearch UI to make it easier to browse and filter. It didn't go anywhere for various reasons[2], but in June Krinkle picked it up again and I've now deployed his rewrite[3], please try it out:
https://codesearch-beta.wmcloud.org/
You can insert "-beta" into the URL of any normal codesearch result and it should just work.
Here's an overview of the changes:
- Switching backends keeps the search query
- Sidebar for easy skipping of many results from one repo
- Implement fuzzysort and typeahead autocompletion for the repo selector dropdown
- Generate a report in the format of a Phabricator checklist
- Add search query to the document title (browser tab)
- Implement a pulsating "placeholder" state
- Optimise fetching of "repos" config data by caching this server-side
- Fix advanced options being hidden by adblockers
And there's more, you can read Krinkle's commit message[3] for the full list and links to tasks.
Please report bugs you find in the Codesearch Phabricator project[4] (or submit a patch!). If all goes well I'd like to switch over the main domain to the new interface near the end of the year.
[1]
https://lists.wikimedia.org/hyperkitty/list/wikitech-l@lists.wikimedia.org/t... [2] lack of time and basing on top of experimental technology [3] https://gerrit.wikimedia.org/r/c/labs/codesearch/+/804785/ [4] https://phabricator.wikimedia.org/project/view/3158/
Thanks, -- Kunal / Legoktm _______________________________________________ Wikitech-l mailing list -- wikitech-l@lists.wikimedia.org To unsubscribe send an email to wikitech-l-leave@lists.wikimedia.org
https://lists.wikimedia.org/postorius/lists/wikitech-l.lists.wikimedia.org/
Wikitech-l mailing list -- wikitech-l@lists.wikimedia.org To unsubscribe send an email to wikitech-l-leave@lists.wikimedia.org https://lists.wikimedia.org/postorius/lists/wikitech-l.lists.wikimedia.org/