Re: [patch] implement search statistics #453
Hello, could this patch be integrated into Vim? Is there any more work to be done, or does it only need to be reviewed by Bram? Thanks! On Friday, July 22, 2016 at 11:29:20 PM UTC+2, Christian Brabandt wrote: > Hi Radosław! > > On Fr, 22 Jul 2016, Radosław Burny wrote: > > > Thank you for moving forward with the patch. > > > > Just a quick question - given that you have already implemented time-based > > limits, what is the purpose of the numerical limit? Imagine that you want > > to count references to a widely used variable, and that number is bigger > > than 100. If Vim can still count the occurrences in 20ms (which it should > > for simple patterns), why not display the full count? > > Basically, two points: > 1) while I think, that it is useful, to show the search count, I think >that it is only useful for a couple of counts. More than say 90 is >not so interesting anymore. It's just "a lot" then. And then for >large numbers, it isn't even easily readable. > > 2) it makes handling the buffer size a lot easier, if I only need to >consider at most 10 characters. > > Best, > Christian > -- > Melkt der Bauer seine Kuh, macht sie verträumt die Augen zu. -- -- 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. For more options, visit https://groups.google.com/d/optout.
Re: [vim/vim] Autoformat with gqgq is broken inside tex environments (#1223)
On 2016-11-02, Charles E Campbell wrote:
> Coacher wrote:
> > Consider the following file:
> >
> > \begin{env}
> > x
> > x
> > \end{env}
> >
> > Open it like this: vim -N -u NONE -c 'filetype plugin indent on' -c 'set ft=
> > tex'
> > Place the cursor at the beginning of the second line.
> > In Normal mode type 'gqgq' to format it.
> >
> > Actual results:
> >
> > \begin{env}
> > x
> >
> > x
> > \end{env}
> >
> > Expected results:
> >
> > \begin{env}
> > x
> > x
> > \end{env}
> >
> > vim version is 8.0.0055.
> Using 8.0.055, I get your expected results. So, I suggest that you
> check your plugins.
With my normal setup, I get his expected results, too, but if I
start Vim with the command shown, I get his actual results.
I'd contact the maintainer of $VIMRUNTIME/indent/tex.vim, whose
email address is at the top of the file.
Regards,
Gary
--
--
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.
For more options, visit https://groups.google.com/d/optout.
Re: [vim/vim] Autoformat with gqgq is broken inside tex environments (#1223)
Coacher wrote:
>
> Consider the following file:
>
> |\begin{env}
> x
>
> x \end{env} |
>
> Open it like this: |vim -N -u NONE -c 'filetype plugin indent on' -c
> 'set ft=tex' |
> Place the cursor at the beginning of the second line.
> In Normal mode type 'gqgq' to format it.
>
> Actual results:
>
> |\begin{env}
> x
>
> x \end{env} |
>
> Expected results:
>
> |\begin{env}
> x
>
> x \end{env} |
>
> vim version is 8.0.0055.
>
Using 8.0.055, I get your expected results. So, I suggest that you
check your plugins.
Regards,
Chip Campbell
--
--
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.
For more options, visit https://groups.google.com/d/optout.
