diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-06-02 15:49:35 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-06-02 15:49:35 +0000 |
| commit | f972428823e98c071074a74cce8ae3b0ea871309 (patch) | |
| tree | 54106b4a00f534b9ac7a2c6e6d250083cafe5071 /src/command_manager.hh | |
| parent | 0a848fa45061ce27a99dafae3105fcbc4bacc4c7 (diff) | |
The def command do not override commands by default, use -allow-override
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 54d67b80..b3f0917e 100644 --- a/src/command_manager.hh +++ b/src/command_manager.hh @@ -62,6 +62,8 @@ public: Completions complete(const String& command_line, size_t cursor_pos); + bool command_defined(const String& command_name) const; + void register_command(const String& command_name, Command command, unsigned flags = None, |