somebody1234 5e1a3124dc Download and upgrade buttons (#8265) ... - Adds a download button in the user menu # Important Notes - The "upgrade to" button will be absent when the user already has a plan, as the only place where an "upgrade to" button shows up is the cloud view, when the user's account has not yet been enabled. - The upgrade button currently links to https://enso.org/pricing - which does not yet exist. This is intentional, as another PR would be required to switch the URL, if we were to initially point to the one at https://enso-org.github.io. - The pricing page would still not work, as that requires payment functionality, which is not yet complete		2023-11-21 06:34:46 +00:00
..
gui	More fine grained initialization for resources (#8242)	2023-11-08 08:57:31 +00:00
gui2	Layout nodes without position (#8326)	2023-11-20 14:17:34 +00:00
ide-desktop	Download and upgrade buttons (#8265)	2023-11-21 06:34:46 +00:00