def init_extension_manager(self):
    self.extension_manager = ExtensionManager(shell=self, parent=self)
    self.configurables.append(self.extension_manager)
def init_extension_manager(self):
    self.extension_manager = ExtensionManager(shell=self, parent=self)
    self.configurables.append(self.extension_manager)