418: #line 546 "input_frame.ipk" 419: def set_encoding(self, encoding): 420: "Set the current encoding" 421: self.source.set_encoding(encoding) 422: def get_encoding(self): 423: "Get the current encoding" 424: return self.source.get_encoding() 425: