Adding a card to "Download to Drive"

[kiki-lee]

Stashing this here until we're ready to add. @Jaqster would like more data before we merge.

We have received feedback that people don't know how to save projects other than sharing or uploading to GitHub. In part, this could be because the save button is touching the name field, so it looks like it's meant to save name changes:

Also, the save button goes away when you're working in a tutorial:

Or a GitHub repo:

The clever educator/student will notice that there's a Download button, which seems like the natural place to go when looking to download your project...but when they click, they're faced with these options, none of which are "Download to Drive".

Those of us who work here know that we could choose any of these to save our projects to drive, but there's no way for anyone else to know this is the case. My solution is to add a card for downloading to your machine.

[Jaqster]

Yes, I'd like to do more customer development here. Let's gather evidence that this is a blocking issue.
Hypothesis could be:

• Users don't know how to save program files onto their computers
• Users want to, but can't save program files (while in a tutorial) onto their computers
• Users want to, but can't save program files (while working in a GitHub repo) onto their computers

This UI goes across all our targets, so if we find this is an issue and come up with a solution, I could imagine applying this across all our code editors (maybe not Minecraft?)

[abchatra]

why is this compiling to stm32f401?

[kiki-lee]

Because we don't have a variant that creates a png and this is the variant attached to the button people are most-likely to select if they use download today.

@riknoll suggested we would eventually want to do the work to make a .png variant.

[abchatra]

This needs to be thought through. We don't select variant when saving through save icon. Let's wait on this change for next release.