Skip to content

improve tags #149

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

Merged
merged 13 commits into from
Jun 30, 2025
Merged

improve tags #149

merged 13 commits into from
Jun 30, 2025

Conversation

PascalinDe
Copy link
Member

  • use EPFL style for tags
  • remove tag from filtered tags when clicking on selected tags
  • order tags alphabetically
  • do not wrap text in tags

@PascalinDe PascalinDe requested review from ineiti and lanterno June 25, 2025 13:22
@PascalinDe PascalinDe self-assigned this Jun 25, 2025
@github-project-automation github-project-automation bot moved this to In progress in Engineer's TODO Jun 25, 2025
@PascalinDe PascalinDe moved this from In progress to Ready4Review in Engineer's TODO Jun 25, 2025
@ineiti
Copy link
Member

ineiti commented Jun 25, 2025

I can't remove the Byzantine Resilience - is this a small fix, or does it take longer?
Besides that it looks much better! Still definitely IT engineer design :)

image

@PascalinDe
Copy link
Member Author

I can't remove the Byzantine Resilience - is this a small fix, or does it take longer? Besides that it looks much better! Still definitely IT engineer design :)

image

arf, good catch, didn't notice that 🤦‍♀️

@PascalinDe
Copy link
Member Author

fixed - filtered tags' text is smaller, and no longer truncated

@ineiti
Copy link
Member

ineiti commented Jun 27, 2025

I opened #150 for later... But this looks good for now.

@PascalinDe PascalinDe merged commit 1f93409 into main Jun 30, 2025
3 checks passed
@PascalinDe PascalinDe deleted the 148 branch June 30, 2025 12:08
@github-project-automation github-project-automation bot moved this from Ready4Review to Done in Engineer's TODO Jun 30, 2025
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.

2 participants