Re: [PATCH] Minor wording change in doc/user_help

Hi,

Thanks, I'll wait a bit in case you find more typos/wording issues so we 
can just merge all of them in one commit.

Best,
Rodrigo.

On Mon, Jul 13, 2026 at 10:15:29AM -0400, Nikolas Nyby wrote:
>---
> 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]
_______________________________________________
Dillo-dev mailing list -- dillo-dev-lx9mn2B4QYRWk0Htik3J/[email protected]
To unsubscribe send an email to dillo-dev-leave-lx9mn2B4QYRWk0Htik3J/[email protected]