More on auto-complete and Lean

trees/uts-002F.tree

@@ -111,14 +111,19 @@ Here are some useful keys that I like using in NeoVim, with [my LunarVim configu
         - `<leader>+gg` to open lazygit,  `q` to quit
         - on a file, space to stage/unstage, `i` to ignore
         - `c` to commit, `P` to push, `p` to pull
+        - `d` to discard
         - `r` on a commit to reword
     - in editor, `<leader>+gs` to stage the current hunk, `<leader>+gr` to revert the current hunk
     - usually lazygit is good enough, one can also use `:DiffviewOpen` to inspect diff and handle merge conflicts
 - Github Actions
     - `<leader>+gh` to open the Github Actions split window
     - `gj` to open the job under cursor, see also [other keys](https://github.com/topaxi/gh-actions.nvim?tab=readme-ov-file#keybindings)
     - focus and use `:q` to close the split window
-- AI Chats
+- Auto-complete
+    - `Tab` to cycle through suggestions from `cmp`, reverse cycle with `Shift+Tab`
+    - continue to type to select a suggestion, this is better then hitting `Enter`
+    - `Ctrl+e` to reject suggestions, and `Tab` to take suggestions from Github Copilot
+- LLM Chats
     - Github Copilot
         - `<leader>+aa` to toggle the chat, `<leader>+al` to clear chat history
         - **e**xplain, **r**eview, **R**factor, **t**est, **d**ebug, **f**ix, co**m**mit log, **n**aming etc.
@@ -135,6 +140,10 @@ Here are some useful keys that I like using in NeoVim, with [my LunarVim configu
     - so one simply need to remember to press `q` to quit recording in such scenarios
     - `qa` starts recording user's inputs, `q` quits recording, `@a` replays the recording, `a` could be any other letter
     - it could serve as ad hoc key mappings
+- Lean
+    - set local leader to "  " (tentative)
+    - `<localleader>+i` to toggle Lean Infoview
+
 
 Recalled by [VSCode Vim ROADMAP](https://github.com/VSCodeVim/Vim/blob/HEAD/ROADMAP.md).