Fix the settings editor, ensuring it doesn't save the file unless save is clicked. (#3391)
Fix the settings editor, ensuring it doesn't save the file unless save is clicked. (#3391)


Microsoft/pxt,Microsoft/pxt,switch-education/pxt,switchinnovations/pxt,switchinnovations/pxt,Microsoft/pxt,Microsoft/pxt,switch-education/pxt,Microsoft/pxt,switchinnovations/pxt,playi/pxt,playi/pxt,switchinnovations/pxt,playi/pxt,switch-education/pxt,playi/pxt,switch-education/pxt,switch-education/pxt