(id)
| 732 | } |
| 733 | |
| 734 | unmountPlugin(id) { |
| 735 | if (id in this.#pluginUnmount) { |
| 736 | try { |
| 737 | this.#pluginUnmount[id](); |
| 738 | } catch (err) { |
| 739 | console.group( |
| 740 | `Error while calling unmount callback for plugin "${id}"`, |
| 741 | ); |
| 742 | console.error(err); |
| 743 | console.groupEnd(); |
| 744 | } |
| 745 | fsOperation(Url.join(CACHE_STORAGE, id)).delete(); |
| 746 | } |
| 747 | |
| 748 | delete appSettings.uiSettings[`plugin-${id}`]; |
| 749 | } |
| 750 | |
| 751 | registerFormatter(id, extensions, format, displayName) { |
| 752 | let exts; |
no test coverage detected