somebody1234 06b2280ee6 New user menu (#7581) ... - Closes https://github.com/enso-org/cloud-v2/issues/610 - New user menu - Remove "go to profile" action that does not currently have an action, and does not exist in new design - Add placeholder icons for existing actions - Re-style "change password" modal to fit in with the design # Important Notes There are many differences from the design - none are visual differences though: - The list of actions is completely different - there are no menu entries in common between the design and the current - This also means that *all* current icons are placeholders. There are no appropriate icons in the "icons" Figma tab either. - The user icon is still a placeholder, as there is no backend support for user icons yet. - The user menu entries are highlighted on hover (not specified in the design), but to make this look nice, some of the padding has been moved from the outer container to the individual menu entries. - The menu entries use the same component as the context menu, so they *do* support shortcuts, and adding shortcuts to them will be very easy, *however* no shortcuts have been set for the new actions, because they are different from the actions in the Figma design (and so they don't have an official default shortcut)		2023-08-21 15:05:57 +00:00
..
gui	Use Enso Font (#7516)	2023-08-17 18:36:12 +00:00
ide-desktop	New user menu (#7581)	2023-08-21 15:05:57 +00:00