ext_cmdline: rename cmdline_char to cmdline_special_char

This commit is contained in:
Björn Linse
2017-08-16 15:38:12 +02:00
parent a68817f565
commit f2aaa4ae8b
3 changed files with 6 additions and 3 deletions

View File

@@ -73,7 +73,7 @@ void cmdline_show(Array content, Integer pos, String firstc, String prompt,
FUNC_API_SINCE(3) FUNC_API_REMOTE_ONLY;
void cmdline_pos(Integer pos, Integer level)
FUNC_API_SINCE(3) FUNC_API_REMOTE_ONLY;
void cmdline_char(String c, Integer shift, Integer level)
void cmdline_special_char(String c, Boolean shift, Integer level)
FUNC_API_SINCE(3) FUNC_API_REMOTE_ONLY;
void cmdline_hide(Integer level)
FUNC_API_SINCE(3) FUNC_API_REMOTE_ONLY;

View File

@@ -2805,7 +2805,8 @@ void putcmdline(int c, int shift)
}
msg_no_more = false;
} else {
ui_call_cmdline_char(cchar_to_string((char)(c)), shift, ccline.level);
ui_call_cmdline_special_char(cchar_to_string((char)(c)), shift,
ccline.level);
}
cursorcmd();
ui_cursor_shape();