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

Dev UI: Add favourite functionallity for extension cards #34323

Merged
merged 1 commit into from
Jun 28, 2023

Conversation

phillip-kruger
Copy link
Member

Are you tired of searching for your favourite extension card in Dev UI ? This PR introduce the ability to favour a card, that will show it first.

favourite

@phillip-kruger phillip-kruger added the triage/waiting-for-ci Ready to merge when CI successfully finishes label Jun 27, 2023
@quarkus-bot

This comment has been minimized.

Copy link
Member

@gsmet gsmet left a comment

Choose a reason for hiding this comment

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

I added some comments.

@quarkus-bot
Copy link

quarkus-bot bot commented Jun 28, 2023

✔️ The latest workflow run for the pull request has completed successfully.

It should be safe to merge provided you have a look at the other checks in the summary.

@phillip-kruger
Copy link
Member Author

phillip-kruger commented Jun 28, 2023

@gsmet can we merge the current version? We can always enhance it later if we see that is what users want...

@quarkusio quarkusio deleted a comment from quarkus-bot bot Jun 28, 2023
@cescoffier
Copy link
Member

Let's wait for feedback before storing the favorites by apps. I see the use case, but it may be specific to the kind of work we are doing (where the application we do in the morning is very different from the one we do in the afternoon).

@cescoffier cescoffier merged commit 610d8c4 into quarkusio:main Jun 28, 2023
@quarkus-bot quarkus-bot bot removed the triage/waiting-for-ci Ready to merge when CI successfully finishes label Jun 28, 2023
@quarkus-bot quarkus-bot bot added this to the 3.3 - main milestone Jun 28, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants