Searched refs:dot_to_char (Results 1 – 1 of 1) sorted by relevance
1860 static void dot_to_char(int cmd) in dot_to_char() function3987 dot_to_char(c != ',' ? last_search_cmd : last_search_cmd ^ 0x20);