isovector / cornelis

agda-mode for neovim
BSD 3-Clause "New" or "Revised" License
130 stars 22 forks source link

Tab completion for simplification modes #57

Closed isovector closed 1 year ago

isovector commented 2 years ago

Set a CmdComplete CommandOption, and then follow the docs:

The following example lists user names to a Finger command 
    :com -complete=custom,ListUsers -nargs=1 Finger !finger <args>
    :fun ListUsers(A,L,P)
    :    return system("cut -d: -f1 /etc/passwd")
    :endfun

The following example completes filenames from the directories specified in
the 'path' option: 
    :com -nargs=1 -bang -complete=customlist,EditFileComplete
            \ EditFile edit<bang> <args>
    :fun EditFileComplete(A,L,P)
    :    return split(globpath(&path, a:A), "\n")
    :endfun
isovector commented 1 year ago

Fixed in 20210c4