To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
Interactive command completion and execution for building REPLs
Install
Authors
Maintainers
Sources
cmdtui-0.4.3.tbz
md5=8a792d806efab956df37f2d9316f569f
Description
cmdtui is a module for declaring commands with completions and actions.
It can return a dynamically generated list of completions based on partial user
input.
The base module doesn't depend on a particular terminal control library,
and support for lambda-term based REPLs is provided in the cmdtui.lambda-term subpackage.
cmdtui is distributed under the ISC license.
Published: 07 Aug 2017
Dev Dependencies
Used by (1)
Conflicts
On This Page