// the menu bar at the top
Save
Save As
Reload
Download
Server Root Dir
// pop up to ask questions of the user
×
// where the file to be edited gets injected