[gedit] docs: Pane is panel now; remove incorrect <app>/<gui> tags around term

[Andre Klapper <aklapper src gnome org>]

commit 8be5a7c2c28bedd58e4317e51722116f76dcfa6f
Author: Andre Klapper <a9016009 gmx de>
Date:   Sun Sep 17 02:50:43 2017 +0200

    docs: Pane is panel now; remove incorrect <app>/<gui> tags around term

 help/C/gedit-open-files-from-sidepane.page |   33 ++++++++++++++-------------
 1 files changed, 17 insertions(+), 16 deletions(-)
---
diff --git a/help/C/gedit-open-files-from-sidepane.page b/help/C/gedit-open-files-from-sidepane.page
index 299d2e7..6b9ac73 100644
--- a/help/C/gedit-open-files-from-sidepane.page
+++ b/help/C/gedit-open-files-from-sidepane.page
@@ -14,53 +14,54 @@
     <include href="legal.xml" xmlns="http://www.w3.org/2001/XInclude"/>
   </info>
 
-  <title>View and open files from the side pane</title>
+  <title>View and open files from the side panel</title>
   <p>
     The most common way to switch between files in <app>gedit</app> is by using
     the tabs at the top of the <app>gedit</app> window. In some cases, though,
     particularly when you are working with a large number of open files, you
-    may find it easier to use the <app>side pane</app>.
+    may find it easier to use the side panel.
   </p> 
 
   <p>
-    To activate the <app>side pane</app>, select <guiseq><gui>View</gui>
-    <gui>Side Pane</gui></guiseq>, or just press the <key>F9</key> key.
+    To activate the side panel, select <guiseq><gui>View</gui>
+    <gui>Side Panel</gui></guiseq>, or just press the <key>F9</key> key.
   </p>
 
   <note style="note">
     <p>
-      You can toggle the <gui>side pane</gui> open or closed by pressing
+      You can toggle the side panel open or closed by pressing
       <key>F9</key> at any time.
     </p>
   </note>
 
+<!-- TODO: This section is duplicated from gedit-plugins-file-browser.page; does it make sense here? -->
   <section id="sidepane-open">
-    <title>Opening files from the side pane</title>
+    <title>Opening files from the side panel</title>
     <p>
-      To open files from the <app>side pane</app>, first open the
-      <app>side pane</app> by selecting <guiseq><gui>View</gui>
-      <gui>Side Pane</gui></guiseq> (or just press
+      To open files from the side panel, first open the
+      side panel by selecting <guiseq><gui>View</gui>
+      <gui>Side Panel</gui></guiseq> (or just press
       <key>F9</key>), and then choose <gui>File Browser</gui> from the dropdown
-      at the top of the pane.
+      at the top of the panel.
     </p>
 
     <p>
       This will activate the <em>File Browser</em> mode of the
-      <app>side pane</app>. You can then use the navigation buttons at the top
-      of the pane to locate and open your desired files.
+      side panel. You can then use the navigation buttons at the top
+      of the panel to locate and open your desired files.
     </p>
   </section>
 
   <section id="sidepane-switch">
-    <title>Using the side pane to switch between open files</title>
+    <title>Using the side panel to switch between open files</title>
     <p>
-      Once you have several files open, you can use the side pane to switch
+      Once you have several files open, you can use the side panel to switch
       between open files. To list open files, choose <gui>Documents</gui>
-      from the dropdown at the top of the pane.
+      from the dropdown at the top of the panel.
     </p>
 
     <p>
-      Clicking on any file name in the <gui>side pane</gui> will open that file
+      Clicking on any file name in the side panel will open that file
       for editing.
     </p>
   </section>