Searched refs:gesture_file (Results 1 – 3 of 3) sorted by relevance
37 def playback(self, device, gesture_file): argument48 for line in open(gesture_file, 'rt'):94 if not options.gesture_file:97 if not os.path.exists(options.gesture_file):98 print 'Can not find the gesture file %s.' % options.gesture_file101 InputEventPlayer().playback(device, options.gesture_file)102 print 'Gesture file %s has been played.' % options.gesture_file
245 if self.gesture_file.closed:248 filename = self.gesture_file.name249 self.gesture_file.close()678 self.gesture_file = open(self.gesture_file_name, 'w')680 stdout=self.gesture_file)
504 gesture_file = os.path.join(current_dir, filename)505 self.blocking_playback(gesture_file, input_type=input_type)