John Marriott wrote:
> On 19-Dec.-2017 04:15, Bram Moolenaar wrote:
> > Patch 8.0.1405
> > Problem: Duplicated code for getting a typed character. CursorHold is
> > called too often in the GUI. (lilydjwg)
> > Solution: Refactor code to move code up from mch_inchar(). Don't fire
> > CursorHold if feedkeys() was used. (closes #2451)
> > Files: src/gui.c, src/proto/gui.pro, src/main.c, src/ui.c,
> > src/proto/ui.pro, src/os_unix.c
> >
> >
> > *** ../vim-8.0.1404/src/gui.c 2017-12-17 21:54:51.240060608 +0100
> > --- src/gui.c 2017-12-18 18:09:53.489250690 +0100
> > ***************
> > *** 2886,2891 ****
> > --- 2886,2903 ----
> > }
> > =20
> After this patch, mingw64 throws this warning if FEAT_TIMERS is not defined=
> :
> gcc -c -Iproto -DWIN32 -DWINVER=3D0x0603 -D_WIN32_WINNT=3D0x0603=20
> -DHAVE_PATHDEF -DFEAT_NORMAL -DHAVE_STDINT_H -DFEAT_DIRECTX=20
> -DDYNAMIC_DIRECTX -DFEAT_DIRECTX_COLOR_EMOJI -DFEAT_GUI_W32=20
> -DFEAT_CLIPBOARD -DFEAT_MBYTE -pipe -march=3Dnative -Wall -O3=20
> -fomit-frame-pointer -freg-struct-return -s gui.c -o gobjnative/gui.o
> gui.c:2892:1: warning: 'gui_wait_for_chars_3' defined but not used=20
> [-Wunused-function]
> =C2=A0gui_wait_for_chars_3(
> =C2=A0^~~~~~~~~~~~~~~~~~~~
>
> This patch tries to fix it. Please check.
Thanks!
--
hundred-and-one symptoms of being an internet addict:
133. You communicate with people on other continents more than you
do with your own neighbors.
/// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\
/// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
\\\ an exciting new programming language -- http://www.Zimbu.org ///
\\\ help me help AIDS victims -- http://ICCF-Holland.org ///
--
--
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 [email protected].
For more options, visit https://groups.google.com/d/optout.
