372: #line 499 "input_frame.ipk" 373: def set_encoding(self, encoding): 374: self.source.set_encoding(encoding) 375: def get_encoding(self): return self.source.get_encoding() 376: