rename UpdatePulse() to Pulse() (forgot to commit with the rest of the changes)

[wxWidgets.git] / docs / latex / wx / richtextevent.tex

diff --git a/docs/latex/wx/richtextevent.tex b/docs/latex/wx/richtextevent.tex
index 6214a6dea7fc1e0e444b4e22712776812355d594..49c371709f754345adcea3a9b9c599b544ae0cb2 100644 (file)
--- a/docs/latex/wx/richtextevent.tex
+++ b/docs/latex/wx/richtextevent.tex
@@ -1,8 +1,7 @@
 \section{\class{wxRichTextEvent}}\label{wxrichtextevent}
 
 This is the event class for wxRichTextCtrl notifications. Note that event generation
-is very incomplete; we need to implement events such as selection of text, deletion,
-insertion, and so on.
+is incomplete; events to be implemented include selection of text, deletion, insertion, and so on.
 
 \wxheading{Event table macros}
 
@@ -68,3 +67,4 @@ wxRICHTEXT\_SHIFT\_DOWN, andwxRICHTEXT\_ALT\_DOWN.
 \func{void}{SetIndex}{\param{int }{n}}
 
 Not currently used.
+