diff options
| -rw-r--r-- | doc/user_help.html | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/doc/user_help.html b/doc/user_help.html index acf129f4..b8c3e580 100644 --- a/doc/user_help.html +++ b/doc/user_help.html @@ -121,9 +121,8 @@ <tr><td bgcolor="#70a0c0"> <p> - This one is very useful; - it can be found in the right-mouse-button menu<br> - Find text is tuned for speed so don't hesitate to use it even for minimal + This one is very useful; it can be found in the right-mouse-button menu. + Find text is tuned for speed, so don't hesitate to use it even for minimal searches. <p> <u>Semantics:</u> |