Documentation updated

app/web/doc/index.html

@@ -28,8 +28,8 @@
     <ul>
         <li><a href="#main_menu">Main menu</a></li>
         <li><a href="#panels">Panels</a></li>
-        <li><a href="#formatter">Formatter</a></li>
-        <li><a href="#editor">Editor</a></li>
+        <li><a href="#code_editor">Code editor</a></li>
+        <li><a href="#tree_editor">Tree editor</a></li>
         <li><a href="#shortcut_keys">Shortcut keys</a></li>
     </ul>
 
@@ -46,8 +46,8 @@
 
     <h2 id="panels">Panels</h2>
     <p>
-        The application contains two panels: a <b>JSON Formatter</b> on the left,
-        and a <b>JSON Editor</b> on the right.
+        The application contains two panels: a <b>code editor</b> on the left,
+        and a <b>Tree Editor</b> on the right.
     </p>
     <p>
         There is a splitter between the two panels, allowing to change the
@@ -57,14 +57,14 @@
     </p>
     <img src="img/splitter.png">
 
-    <h2 id="formatter"> Formatter</h2>
+    <h2 id="code_editor"> Code editor</h2>
     <p>
-        The JSON Formatter displays JSON data in a code editor.
-        The Formatter is capable of formatting, compacting, and inspecting JSON.
+        The code editor displays JSON data in a code editor.
+        The editor is capable of formatting, compacting, and inspecting JSON.
     </p>
-    <img src="img/jsonformatter.png">
+    <img src="img/code_editor.png">
     <p>
-        The menu of the Formatter contains the following buttons:
+        The menu of the code editor contains the following buttons:
     </p>
     <ul>
         <li>
@@ -79,15 +79,15 @@
         </li>
     </ul>
 
-    <h2 id="editor">Editor</h2>
+    <h2 id="tree_editor">Tree editor</h2>
     <p>
-        The JSON Editor displays the JSON data in an editable tree.
+        The Tree editor displays the JSON data in an editable tree.
         The editor makes it easy to create, duplicate, remove fields,
         and to edit the contents of the fields.
     </p>
-    <img src="img/jsoneditor.png">
+    <img src="img/tree_editor.png">
     <p>
-        The menu of the editor contains the following functions:
+        The menu of the tree editor contains the following functions:
     </p>
     <ul>
         <li>
@@ -103,7 +103,7 @@
             <b>Redo</b>. Redo last action.
         </li>
         <li>
-            <b>Search</b>. Search for text in the JSON editor.
+            <b>Search</b>. Search for text in the tree editor.
             Search results will be highlighted, and can be iterated by
             repeatedly pressing Enter or Shift+Enter.
             The right side of the search box two buttons to go to the next or
@@ -171,7 +171,7 @@
 
     <h2 id="shortcut_keys">Shortcut keys</h2>
     <p>
-        The JSON Editor supports shortcut keys for all available actions.
+        The tree editor supports shortcut keys for all available actions.
         The editor can be used by just a keyboard.
         The following short cut keys are available:
     </p>