restore dot creation in pencil

diff --git a/doc/keys.xml b/doc/keys.xml
index e21001b1fdef2acdc9bc1af20fc00ec31177e4ce..20258dcf5b96c2a299df2e0764812c2ffc15ec37 100644 (file)
--- a/doc/keys.xml
+++ b/doc/keys.xml
@@ -1099,6 +1099,13 @@ with the segment; another Shift+S will expand a second handle</note>
 <note>Shift also temporarily disables snapping to grid or guides when you are drawing with grid or guides on.</note>
 <mouse><key><alt/><left-drag/></key> <action>averaging draw (sketch mode)</action></mouse>
 </group>
+<group>
+<title>Create dots</title>
+<mouse><key><ctrl/><left-click/></key> <action>create a dot</action></mouse>
+<note>This creates a small circle. Its size (relative to the current stroke width) can be set in Preferences.</note> 
+<mouse><key><shift/><ctrl/><left-click/></key> <action>create a double-sized dot</action></mouse>
+<mouse><key><alt/><ctrl/><left-click/></key> <action>create a random-sized dot</action></mouse>
+</group>
 </section>
 
 *<section title="Pen (Bezier) tool" color="e7f5d7">