diff options
author | Ville Hakulinen <ville.hakulinen@gmail.com> | 2020-07-24 22:07:20 +0300 |
---|---|---|
committer | Ville Hakulinen <ville.hakulinen@gmail.com> | 2020-07-24 22:07:20 +0300 |
commit | 55250d3bf2deddeadf0ebb21b59443027ea697eb (patch) | |
tree | 6acab206379a67dc2ea171cc98c3b38c00e8228e | |
parent | 8c80b7c1550bc9fb5d17db66fa128e15aa81d146 (diff) |
Fix #137
-rw-r--r-- | src/ui/ui.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/ui/ui.rs b/src/ui/ui.rs index c337b47..fa8235c 100644 --- a/src/ui/ui.rs +++ b/src/ui/ui.rs @@ -304,8 +304,9 @@ fn handle_request( } fn keyname_to_nvim_key(s: &str) -> Option<&str> { - // Sourced from python-gui. + // Originally sourced from python-gui. match s { + "asciicircum" => Some("^"), // fix #137 "slash" => Some("/"), "backslash" => Some("\\"), "dead_circumflex" => Some("^"), |