Method #createExtensionSetting

src/view/settings-window.ts:124–165

()

  }

  #createExtensionSetting() {
    this.extensionsTable = new EditableTable<Extension>([
      {title: 'Name', key: 'displayName'},
      {title: 'Path', key: 'dirPath'},
    ]);
    this.extensionsTable.view.setStyle({
      gap: basicStyle.padding,
      padding: basicStyle.padding,
    });

    this.extensionsTable.editButton.setVisible(false);
    this.extensionsTable.onRemoveRow.connect((index, extension) => {
      try {
        extensionManager.unregisterExternalExtension(extension.name);
      } catch (error) {
        alert(`Failed to remove extension: ${error.message}`, {window: this.window});
      }
    });

    const addButton = this.extensionsTable.buttonsArea.addButton('Add');
    addButton.onClick = () => {
      const dialog = gui.FileOpenDialog.create();
      dialog.setTitle('Load extension');
      dialog.setButtonLabel('Load');
      dialog.setOptions(gui.FileDialog.optionPickFolders);
      if (dialog.runForWindow(this.window)) {
        try {
          extensionManager.registerExternalExtension(dialog.getResults()[0]);
        } catch (error) {
          alert(`Failed to load extension: ${error.message}`, {window: this.window});
        }
      }
    };

    // Fill table with existing extensions.
    const update = () => this.extensionsTable.setData(extensionManager.getExtensions());
    this.connections.add(extensionManager.onAddExtension.connect(update));
    this.connections.add(extensionManager.onRemoveExtension.connect(update));
    update();

    return this.extensionsTable.view;
  }
}