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.

Sign up for GitHub

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

[Workspace] Register a workspace dropdown menu at the top of left nav bar #6150

Merged
merged 5 commits into from
Mar 21, 2024
Merged

[Workspace] Register a workspace dropdown menu at the top of left nav bar #6150

Changes from 1 commit
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
ece4026
Register a workspace dropdown menu at the top of left nav bar
ruanyl Mar 15, 2024
2d3bb78
tweaks comments
ruanyl Mar 15, 2024
09638a2
update CHANGELOG
ruanyl Mar 15, 2024
f077b73
removed unnecessary file
ruanyl Mar 15, 2024
862ae3b
change workspace dropdown menu id
ruanyl Mar 20, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
tweaks comments 
Signed-off-by: Yulong Ruan <[email protected]>
@ruanyl
ruanyl committed Mar 21, 2024
commit 2d3bb787282a6686ce2c47c15fb791efa3a442b7
2 changes: 1 addition & 1 deletion src/plugins/workspace/public/components/workspace_menu/workspace_menu.tsx
View file
Original file line number Diff line number Diff line change
@@ -32,7 +32,7 @@ interface Props {
}

/**
* Show maximum five workspaces in the dropdown list, the current selected workspace
* Return maximum five workspaces, the current selected workspace
* will be on the top of the list.
*/
function getFilteredWorkspaceList(