Searched refs:dev_tty (Results 1 – 1 of 1) sorted by relevance
693 static char dev_tty[] = "/dev/tty"; in initialize_mousetype() local700 the_device = dev_tty; in initialize_mousetype()