Skip to content

UI improvements / fixes#556

Merged
5K1PY merged 7 commits intomasterfrom
fix/align-solution-times
Dec 8, 2025
Merged

UI improvements / fixes#556
5K1PY merged 7 commits intomasterfrom
fix/align-solution-times

Conversation

@5K1PY
Copy link
Collaborator

@5K1PY 5K1PY commented Dec 8, 2025

Fixes #555

@5K1PY 5K1PY requested a review from SvizelPritula December 8, 2025 14:37
@5K1PY 5K1PY self-assigned this Dec 8, 2025
@5K1PY 5K1PY added the ui/ux label Dec 8, 2025
@5K1PY 5K1PY changed the title fix(solution): Fix solution time alignment UI fixes Dec 8, 2025
@5K1PY 5K1PY changed the title UI fixes UI improvemtns / fixes Dec 8, 2025
@5K1PY 5K1PY force-pushed the fix/align-solution-times branch from 700a459 to db9aee9 Compare December 8, 2025 15:59
@SvizelPritula SvizelPritula changed the title UI improvemtns / fixes UI improvements / fixes Dec 8, 2025
Copy link
Contributor

@SvizelPritula SvizelPritula left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, haven't tested it.

Comment on lines +164 to +165
+ f"{ansi.clear_line()}{Cursor.UP()}" * (count - 1)
+ ansi.clear_line(),
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nit: Isn't this equivalent to Cursor.UP().join([ansi.clear_line()] * count)? But it's hard to say which is cleaner.

@5K1PY 5K1PY merged commit d9e1d57 into master Dec 8, 2025
2 checks passed
@5K1PY 5K1PY deleted the fix/align-solution-times branch December 8, 2025 19:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Result table is not aligned if any solutions runs for 10 seconds or more

2 participants