In the "Editor" section, click on the gear icon in any file tab and an options panel appears. Rename files in the text field, and control how your learners interact with program files. You may select multiple options. When you are ready, click "save settings" at the bottom of the panel.
These same options are also available from the "Files" section of the Code gadget.
In the "Editor" section, there are also Undo, Redo, Find and Replace, and File Download buttons to the left of the tab bar. Below, we see the Find and Replace panel.