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