Marc Weber wrote:
> Something like this: -> NEW LINE
>
> [...]
>
> ==============================================================================
> 6. Profiling *profile*
> *profiling*
>
> Profiling means that Vim measures the time that is spent on executing
> functions and/or scripts. The |+profile| feature is required for this.
> It is only included when Vim was compiled with "huge" features.
> {Vi does not have profiling}
>
> Profiling syntax see |syntime| <<<<<<<<<<<<< NEW LINE
>
> You can also use the |reltime()| function to measure time. This only
> requires
> the |+reltime| feature, which is present more often.
>
> :prof[ile] start {fname} *:prof* *:profile* *E750*
> Start profiling, write the output in {fname} upon exit.
> If {fname} already exists it will be silently overwritten.
> The variable |v:profiling| is set to one.
>
> [...]
Ah, cross-link to :syntime, that's useful. Thanks for the hint.
--
Far out in the uncharted backwaters of the unfashionable end of the
Western Spiral arm of the Galaxy lies a small unregarded yellow sun.
Orbiting this at a distance of roughly ninety-eight million miles is an
utterly insignificant little blue-green planet whose ape-descended life
forms are so amazingly primitive that they still think digital watches
are a pretty neat idea ...
-- Douglas Adams, "The Hitchhiker's Guide to the Galaxy"
/// 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/groups/opt_out.
