Hi, Op zo 17 apr. 2022 22:17 schreef Bram Moolenaar <[email protected]>:
> > Dominique wrote: > > > I see typos in the comments of this commit 8.2.4776: > > > > > ! // Resize requests are made for gui.mainwin, > > > ! // get it's dimensions for searching if this event > > > > it's -> its > > > > ! // Look through history of recent vim resize reqeusts. > > > > requests -> requests > > I'll correct it, thanks. > > -- > hundred-and-one symptoms of being an internet addict: > 15. Your heart races faster and beats irregularly each time you see a new > WWW > site address in print or on TV, even though you've never had heart > problems before. > > /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net > \\\ > /// > \\\ > \\\ sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ > /// > \\\ 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]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/vim_dev/20220417201719.8D9731C03BA%40moolenaar.net > . > Here's another one: // is cleared, we my bounce, but no worse than before. May 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/vim_dev/CA%2BOt1Ow6eWQr89wTsWULrFZN5MRwEFieHXOVv52iBA0%2BdOedHQ%40mail.gmail.com.
