question-mark
Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

inconsistent styling of filter results for branches and repositories

See original GitHub issue

Please describe the problem you think should be solved

When you filter the open pull requests, you’ll see the matching text highlighted:

Branches and repositories don’t seem to have this same effect (this is version 1.6.3-beta1) - the matches are bold, but no background colour is set (light or dark theme):

[Optional] Do you have any potential solutions in mind?

I’m still a fan of the highlighting here to make results stand out, so I’d like to see the same effect applied for repositories and branches

Issue Analytics

  • State:open
  • Created 5 years ago
  • Comments:5 (5 by maintainers)

github_iconTop GitHub Comments

1reaction
shiftkeycommented, Feb 20, 2019

@tierninho thanks for elaborating on our filtering in the app!

0reactions
billygriffincommented, Feb 22, 2019

🤔 So my understanding is that we haven’t heard much feedback about the filtering being unhelpful (other than potentially including additional things like org name in the repo filter), so I’d hesitate to prioritize meaningful work on this. It sort of just works mostly as expected at the moment, even if the PRs part is a bit messy looking because it is highlighting the partials so prominently.

Read more comments on GitHub >

github_iconTop Results From Across the Web

Can't push to remote branch, cannot be resolved to branch
I had something like feature/name but git branch -a showed me FEATURE/name . Renaming the branch, deleting and recreating it, nothing worked ...
Read more >
STYLE-ANALYZER - arXiv
It accurately mines the formatting style of each analyzed Git repository and expresses the found format patterns with compact human-readable ...
Read more >
Fix inconsistent background color for filter input field (!6089) · Merge ...
What does this MR do? Removes the background color for the filter input field for the projects dashboard and.
Read more >
Ubuntu Manpage: git-filter-repo - Rewrite repository history
Incompatible with --path-rename, and incompatible with matching against directory names. Renaming based on paths (see also --filename-callback) Note: if you ...
Read more >
You can now fork a repo and copy only the default branch
When all branches are copied, it could result in slow repo cloning ... GitHub Advanced Security customers can now sort and filter their...
Read more >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Dev.to Post

No results found

github_iconTop Related Hashnode Post

No results found