aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--doc_src/design.hdr2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc_src/design.hdr b/doc_src/design.hdr
index b0b4635f..2ea220dd 100644
--- a/doc_src/design.hdr
+++ b/doc_src/design.hdr
@@ -123,7 +123,7 @@ all the common features by simply looking at the user interface and
guessing what the different buttons, menus and other widgets do. The
traditional way to discover features in commandline programs is
through manual pages. This requires both that the user starts to use a
-different program, and the she/he then remembers the new information
+different program, and then she/he remembers the new information
until the next time she/he uses the same program.
Examples: