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

[dashboard] introduce folded inactive ws section #10676

Merged
merged 4 commits into from
Jun 15, 2022

Conversation

svenefftinge
Copy link
Member

@svenefftinge svenefftinge commented Jun 15, 2022

This reapplies the changes from the previously reverted PR #10450 and fixes

  • invisible modals don't act on key events
  • sort active workspaces by activity (i.e. sort running workspaces over stopped ones)

Description

Many users are manually deleting workspaces, keeping their workspaces list clean.
Users should feel less urge to manually clean up and cleaning up should be simpler.

This PR, makes the inactive workspaces section on the /workspaces list collapsable (collapsed by default) to give a cleaner impression. When expanded there is a button to delete them.

Related Issue(s)

Fixes #10662
Fixes #10665
Fixes #1053
Fixes #4233

How to test

Use the preview env and start a few workspaces, stop them. Check the workspaces list.

Release Notes

Added action to delete all inactive workspaces

Documentation

Screenshot 2022-06-03 at 12 02 12

Screenshot 2022-06-03 at 12 02 18

Screenshot 2022-06-03 at 12 02 24

@svenefftinge svenefftinge force-pushed the sefftinge/make-it-easier-to-delete-4233 branch from 9e9bb32 to 2ab49f3 Compare June 15, 2022 11:10
@roboquat roboquat added size/L and removed size/M labels Jun 15, 2022
@werft-gitpod-dev-com
Copy link

started the job as gitpod-build-sefftinge-make-it-easier-to-delete-4233.19 because the annotations in the pull request description changed
(with .werft/ from main)

@svenefftinge svenefftinge marked this pull request as ready for review June 15, 2022 12:49
@svenefftinge svenefftinge requested a review from a team June 15, 2022 12:49
@github-actions github-actions bot added the team: webapp Issue belongs to the WebApp team label Jun 15, 2022
@@ -37,6 +37,9 @@ export default function Modal(props: {
.catch(console.error);
};
const handler = (evt: KeyboardEvent) => {
if (!props.visible) {
Copy link
Member

Choose a reason for hiding this comment

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

👍🏻

Copy link
Contributor

@gtsiolis gtsiolis left a comment

Choose a reason for hiding this comment

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

UX LGTM. ✔️

@svenefftinge This probably resolves also #10662, right?

@werft-gitpod-dev-com
Copy link

started the job as gitpod-build-sefftinge-make-it-easier-to-delete-4233.20 because the annotations in the pull request description changed
(with .werft/ from main)

Copy link
Member

@AlexTugarev AlexTugarev left a comment

Choose a reason for hiding this comment

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

Awesome!
Thanks for fixing it in a holistic way!
Works fine for me.

@roboquat roboquat merged commit 21a462d into main Jun 15, 2022
@roboquat roboquat deleted the sefftinge/make-it-easier-to-delete-4233 branch June 15, 2022 13:24
@roboquat roboquat added deployed: webapp Meta team change is running in production deployed Change is completely running in production labels Jun 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
deployed: webapp Meta team change is running in production deployed Change is completely running in production release-note size/L team: webapp Issue belongs to the WebApp team
Projects
None yet
4 participants