diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2016-03-09 23:29:46 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2016-03-09 23:29:46 +0000 |
| commit | fcd3437fac01ecb942d3fd9116d1d1a3c455c59e (patch) | |
| tree | 479798e1738023100c58b9cb9ef13838bb08b85d /src/command_manager.hh | |
| parent | 2d494ccb8e72782a0a015c8890d39ab00d5ce4aa (diff) | |
| parent | 517abf5e74636052007db0938067aee7bf658965 (diff) | |
Merge branch 'json-ui'
Diffstat (limited to 'src/command_manager.hh')
| -rw-r--r-- | src/command_manager.hh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/command_manager.hh b/src/command_manager.hh index dbc87e81..090ed0fb 100644 --- a/src/command_manager.hh +++ b/src/command_manager.hh @@ -130,6 +130,8 @@ private: const ShellContext& shell_context, CharCoord pos) const; + Completions complete_command_name(const Context& context, StringView query) const; + struct CommandDescriptor { Command command; |