Searched refs:mouse_dehighlight_key (Results 1 – 1 of 1) sorted by relevance
21 static void mouse_dehighlight_key P((KeyWidget widget));171 mouse_dehighlight_key (key);196 mouse_dehighlight_key (key);500 mouse_dehighlight_key (KeyWidget widget) in mouse_dehighlight_key() function502 mouse_dehighlight_key (widget) in mouse_dehighlight_key()