completion: display completions when Ctrl-Space is pressed
commit7dfb490dea79fe1938dc463764455b31fccba17c
authorDavid Aguilar <davvid@gmail.com>
Mon, 20 Nov 2023 04:34:27 +0000 (19 20:34 -0800)
committerDavid Aguilar <davvid@gmail.com>
Mon, 20 Nov 2023 04:57:40 +0000 (19 20:57 -0800)
treee8bc6e9cf268e50fa514e961a154a2fc32a27420
parentfa2d307bfc22f423986cd9262868155f7d07ef4a
completion: display completions when Ctrl-Space is pressed

Signed-off-by: David Aguilar <davvid@gmail.com>
CHANGES.rst
cola/widgets/completion.py
docs/hotkeys.html
docs/hotkeys_de.html
docs/hotkeys_zh_CN.html
docs/hotkeys_zh_TW.html