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.

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

New sidebar elements and positive prediction design #577

Merged
merged 1 commit into from
Jul 31, 2023

Conversation

martinscooper
Copy link
Member

@martinscooper martinscooper commented Jul 28, 2023

In this PR the following changes are applied:

  • Positive predictions focus and navigation: user can now navigage the positive predictions in the current document using buttons or shortcuts.
  • New positive prediction elements design: the icon of LS is leveraged to denote positive predictions
  • Sidebar elements redesign: the document name is now below the element's text

@codecov
Copy link

codecov bot commented Jul 28, 2023

Codecov Report

Merging #577 (e66f2dc) into main (e506471) will increase coverage by 0.08%.
The diff coverage is n/a.

❗ Current head e66f2dc differs from pull request most recent head cc62c27. Consider uploading reports for the commit cc62c27 to get more accurate results

@@            Coverage Diff             @@
##             main     #577      +/-   ##
==========================================
+ Coverage   80.62%   80.70%   +0.08%     
==========================================
  Files          64       64              
  Lines        4526     4515      -11     
==========================================
- Hits         3649     3644       -5     
+ Misses        877      871       -6     

see 7 files with indirect coverage changes

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@martinscooper martinscooper force-pushed the ui-improvemnts branch 4 times, most recently from 421e41e to 3706a72 Compare July 31, 2023 18:01
@martinscooper martinscooper merged commit d489558 into main Jul 31, 2023
4 checks passed
@martinscooper martinscooper deleted the ui-improvemnts branch July 31, 2023 18:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant