diff options
| author | w0rp <devw0rp@gmail.com> | 2017-08-18 22:34:18 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2017-08-18 22:34:18 +0100 |
| commit | be4347084efeb35a767eb3b33550700a1df8b041 (patch) | |
| tree | e06c146ef7f454ce42bca030dcfbd0f7c24c2007 /doc/ale-ocaml.txt | |
| parent | 8cc7cd3aa14851f0c214c54b2c8affed448399ff (diff) | |
| download | ale-be4347084efeb35a767eb3b33550700a1df8b041.zip | |
Increase the default maximum completion suggestions to a more useful but safe level, and filter before requesting details, which is faster
Diffstat (limited to 'doc/ale-ocaml.txt')
0 files changed, 0 insertions, 0 deletions