code: def received_sig_option_changed(self, option, value):
          
          if option == 'autosave_mapping':
              for editorstack in self.editorstacks:
                  if editorstack != self.sender():
                      editorstack.autosave_mapping = value
          self.sig_option_changed.emit(option, value)
docs: Called when sig_option_changed is received.
  
          If option being changed is autosave_mapping, then synchronize new
          mapping with all editor stacks except the sender.