Actually, wait -- &history is for *command* history. I'm looking for *message* history. Is there an analogous variable that I can use to query the message history size (which, to my knowledge, depends upon the vim compile featureset)?
On Tue, Dec 3, 2013 at 11:13 AM, Nate Soares <[email protected]> wrote: > Those are precisely what I was looking for. I didn't know about &history > -- it's not referenced in the :message-history docs, which is where I was > looking. Thanks! > > > On Tue, Dec 3, 2013 at 11:12 AM, Tim Chase <[email protected]> wrote: > >> On 2013-12-03 11:00, So8res wrote: >> > Specifically, I would like to determine the message history size >> > (20 or 200, according as vim is tiny or larger) in vimscript. >> >> Am I missing something, or can you just test >> >> if &history > 20 >> call do_fancy_stuff() >> endif >> >> Alternatively, if you want to detect how much a given history >> currently has in it, you can use histnr() for the corresponding >> history-name to see how many it currently holds. >> >> -tim >> >> >> >> -- >> -- >> You received this message from the "vim_use" 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 a topic in the >> Google Groups "vim_use" group. >> To unsubscribe from this topic, visit >> https://groups.google.com/d/topic/vim_use/FfIdmnAPWBs/unsubscribe. >> To unsubscribe from this group and all its topics, send an email to >> [email protected]. >> For more options, visit https://groups.google.com/groups/opt_out. >> > > -- -- You received this message from the "vim_use" 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_use" 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/groups/opt_out.
