Fix button to actually download the dart editor