def update_editor_extension(self):
        if not self.editor:
            return False
        ext = self.get_extension()
        if len(ext) >= 1:
            self.editor.set_file_extension(ext)
Set the editor file extension from the current file name.
dataset/ETHPy150Open richrd/suplemon/suplemon/file.py/File.update_editor_extension