mirror of
https://github.com/enso-org/enso.git
synced 2024-11-30 04:12:18 +03:00
f179f43ad1
Recreate #5857 and #6064. Implementation by @Nctdt. - Adds dashboard <-> project switcher - Adds search input (does nothing for now) - Adds help button - currently links to the official Discord server - Adds user account menu containing: - Username - User profile (does nothing for now) - Change password button - Sign out button - Adds modal to change password # Important Notes N/A |
||
---|---|---|
.. | ||
gui | ||
ide-desktop |