[gedit-plugins] drawspaces: update user docs

[Sébastien Wilmet <swilmet src gnome org>]

commit 1939cf608057810843519dd97c9f059a0e5c1cf2
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Mon Sep 28 19:00:28 2020 +0200

    drawspaces: update user docs
    
    The new preferences window of the plugin is self-explanatory, no
    additional user help is needed.

 help/C/draw-spaces.page | 21 ++-------------------
 1 file changed, 2 insertions(+), 19 deletions(-)
---
diff --git a/help/C/draw-spaces.page b/help/C/draw-spaces.page
index d7f7ada..688f484 100644
--- a/help/C/draw-spaces.page
+++ b/help/C/draw-spaces.page
@@ -38,25 +38,8 @@
     </item>
   </steps>
 
-  <list>
-    <title>By default, the <app>Draw Spaces</app> plugin will mark the
-    following types of whitespace in a file:</title>
-    <item><p>Spaces</p></item>
-    <item><p>Tabs</p></item>
-    <item><p>Leading spaces</p></item>
-    <item><p>Spaces in text</p></item>
-    <item><p>Trailing spaces</p></item>
-  </list>
-
-  <list>
-    <title>You can also set the plugin to mark:</title>
-    <item><p>New lines</p></item>
-    <item><p>Non-breaking spaces</p></item>
-  </list>
-
   <note style="tip">
-    <p>Though you will be able to see the dots when you work on a file, the
-    dots will not be visible when you print a file to paper.</p>
+    <p>Though you will be able to see the markers when you work on a file, the
+    markers will not be visible when you print a file to paper.</p>
   </note>
-
 </page>