Hi,
On Wed, Aug 17, 2016 at 2:10 AM, 'Guyzmo' via vim_dev
<vim_dev@googlegroups.com> wrote:
> On Wed, Aug 17, 2016 at 11:48:23AM +0300, LCD 47 wrote:
>> On 16 August 2016, Yegappan Lakshmanan <yegapp...@gmail.com> wrote:
>> > getbufinfo()
>> "options", "signs", and "variables" return lists that are potentially
>> huge. Perhaps there should be a way to tell getbufinfo() to skip these
>> lists;
>> otherwise plugins would just avoid calling this function, for performance
>> reasons.
>
> I share the opinion that having a mechanism to select and/or exclude
> keys from the dict to avoid loading and carrying around huge dicts
> sounds a great thing.
>
>> > gettabinfo()
>> > getwininfo()
>>
>> From the manual:
>>
>> : Each List item is a Dictionary with the following entries:
>> : bufnum number of buffer in the window
>> : height window height
>> : loclist 1 if showing a location list
>> : {only with the +quickfix feature}
>> : nr window number
>> : options dictionary of window local options
>> : quickfix 1 if quickfix or location list window
>> : {only with the +quickfix feature}
>> : tpnr tab page number
>> : variables dictionary of window local variables
>> : width window width
>> : winid window ID
>>
>> Perhaps "tpnr" should be renamed to something more suggestive, such as
>> "tabnr"?
>
> I guess this should apply also for the window, as `winnr` for example,
> for consistency in the keys naming scheme.
>
Note that window ID is different from window number. The getwininfo()
function returns both the window ID (winid field) and the window
number (nr field). Are you suggesting to rename the "nr" field to winnr?
- Yegappan
>
> just my $.02,
>
> --
> Guyzmo
--
--
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.
