void (@NotNull PositionManagerFactory extension, @NotNull PluginDescriptor pluginDescriptor) { getManagerThread().invoke(PrioritizedTask.Priority.NORMAL, () -> { PositionManager manager = mapping.remove(extension); if (manager != null) { myPositionManager.removePositionManager(manager); } }); }