Home
last modified time | relevance | path

Searched refs:use_modifyOtherKeys (Results 1 – 3 of 3) sorted by relevance

/dports/editors/mined/mined-2015.25/src/
H A Dio.h286 extern FLAG use_modifyOtherKeys;
H A Dio.c254 FLAG use_modifyOtherKeys = False; variable
1424 if (use_modifyOtherKeys && xterm_version > 0) {
1471 if (use_modifyOtherKeys) { in setup_terminal()
1533 if (use_modifyOtherKeys) { in reset_terminal()
H A Dmined1.c4548 use_modifyOtherKeys = True; in terminal_configure_init()
4586 use_modifyOtherKeys = True; in terminal_configure_init()