diff options
| author | Delapouite <delapouite@gmail.com> | 2018-03-11 14:58:07 +0100 |
|---|---|---|
| committer | Delapouite <delapouite@gmail.com> | 2018-03-11 14:58:53 +0100 |
| commit | d5d23834f6e35d5dfcfbf99cc59fc9c9db6991e4 (patch) | |
| tree | e8d52b88e0c309a0431eb88e640031e02803ddfa /src/keymap_manager.cc | |
| parent | e66073bc94cad6c13c2f6c35d5e3d794f6a00a2c (diff) | |
Handle hyphens in user-mode names
Fix #1921
Diffstat (limited to 'src/keymap_manager.cc')
| -rw-r--r-- | src/keymap_manager.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/keymap_manager.cc b/src/keymap_manager.cc index 658c7e42..fd83757c 100644 --- a/src/keymap_manager.cc +++ b/src/keymap_manager.cc @@ -61,7 +61,7 @@ void KeymapManager::add_user_mode(String user_mode_name) if (contains(user_modes(), user_mode_name)) throw runtime_error(format("user mode '{}' already defined", user_mode_name)); - if (contains_that(user_mode_name, [](char c){ return not isalnum(c); })) + if (contains_that(user_mode_name, is_blank)) throw runtime_error(format("invalid mode name: '{}'", user_mode_name)); user_modes().push_back(std::move(user_mode_name)); |
