[PATCH] Minor wording change in doc/user_help

Nikolas Nyby <nikolas-mXXj517/[email protected]> Mon, 13 Jul 2026 10:15:29 -0400
Newsgroups gmane.comp.web.dillo.devel
Message-ID <[email protected]>
---
 doc/user_help.in.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/user_help.in.html b/doc/user_help.in.html
index 9f0ca589..f1fd26c9 100644
--- a/doc/user_help.in.html
+++ b/doc/user_help.in.html
@@ -154,7 +154,7 @@ or copying text.</p>
 <p>
 The graphical interface is designed to be used with a mouse or pointing
 device. At the top of the browser window you have the location bar and the main
-buttons to control the browser. You can leave the mouse for a brief moment over
+buttons to control the browser. You can hover the cursor for a brief moment over
 any part of the menu to show a tooltip with more information.
 <p>
 Dillo has <em>context sensitive menus</em>, which are opened with the right mouse
-- 
2.53.0

_______________________________________________
Dillo-dev mailing list -- dillo-dev-lx9mn2B4QYRWk0Htik3J/[email protected]
To unsubscribe send an email to dillo-dev-leave-lx9mn2B4QYRWk0Htik3J/[email protected]