Hi,

A small textual suggestion below:

Op do 18 jul. 2019 13:47 schreef Bram Moolenaar <b...@moolenaar.net>:

>
> Patch 8.1.1713
> Problem:    Highlighting cursor line only works with popup_menu().
> Solution:   Add the "cursorline" property. (Naruhiko Nishino, closes #4671)
>
>   the window.  This can be disabled by setting the "scrollbar" option to
> zero.
>   When the scrollbar is displayed mouse scroll events, while the mouse
> pointer
>   is on the popup, will cause the text to scroll up or down as you would
> expect.
> ! A click in the upper halve of the scrollbar will scroll the text one line
> ! down.  A click in the lower halve wil scroll the text one line up.
> However,
>   this is limited so that the popup does not get smaller.
>
>
> --- 702,709 ----
>   the window.  This can be disabled by setting the "scrollbar" option to
> zero.
>   When the scrollbar is displayed mouse scroll events, while the mouse
> pointer
>   is on the popup, will cause the text to scroll up or down as you would
> expect.
> ! A click in the upper half of the scrollbar will scroll the text one line
> ! down.  A click in the lower half wil scroll the text one line up.
> However,
>   this is limited so that the popup does not get smaller.
>

I would suggest the text to read "A click in the upper half of the
scrollbar will scroll the text down one line.  A click in the lower half
wil scroll the text up one line."

Christ van Willegen

>

-- 
-- 
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php

--- 
You received this message because you are subscribed to the Google Groups 
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to vim_dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/vim_dev/CA%2BOt1OyDw9Tw%2BUffMbY52QcOFOfE2%2BHve2rKYbBpxcB7ZFuvqw%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to