Edits to the file editor interface docs.

docs/source/user/file_editor.md

@@ -1,23 +1,31 @@
-
 # File Editor
 
-The File Editor in JupyterLab enables you to edit text files in JupyterLab:
+The file editor in JupyterLab enables you to edit text files in JupyterLab:
 
 [screenshot]
 
-The File Editor includes syntax highlighting, configurable indentation (tabs,
+The file editor includes syntax highlighting, configurable indentation (tabs or
 spaces), different key maps (vim, emacs, Sublime Text) and basic theming. These
 settings can be found in the Settings menu:
 
 [screenshot]
 
-To edit an existing text file, double-click on the file in the File Browser or
-drag it into the Dock Panel:
+To edit an existing text file, double-click on its name in the file browser or
+drag it into the main area:
 
 [animation]
 
-To create a new text file in the current directory of the File Browser, click
-the + button at the top of the File Browser and click the “Text Editor” card in
+To create a new text file in the current directory of the file browser, click
+the `+` button at the top of the file browser to create a new Launcher tab, and click the “Text Editor” card in
 the Launcher:
 
 [animation]
+
+You can also create a new text file with the File menu:
+
+[animation]
+
+A new file is created with a default name. Rename a file by right-clicking on
+its name in the file browser and selecting “Rename” from the context menu:
+
+[animation]

docs/source/user/files.md

@@ -58,10 +58,18 @@ You can also create new documents or activities using the File menu:
 
 [screenshot]
 
-The current working directory of a new activity or document will be the directory listed in the file browser (except for a terminal, which always starts in the root directory of the file browser):
+The current working directory of a new activity or document will be the
+directory listed in the file browser (except for a terminal, which always starts
+in the root directory of the file browser):
 
 [animation]
 
+A new file is created with a default name. Rename a file by right-clicking on
+its name in the file browser and selecting “Rename” from the context menu:
+
+[animation]
+
+
 ## Uploading and downloading
 
 Files can be uploaded to the current directory of the file browser by dragging