Users can directly edit their opened files in the Editor Window. To save the file, select ``Save'' from the menu items.
After editing a file, user may close the tab by selecting ``close current window'' from the ``Window'' menu.
