void () { IconPathPatcher patcher = theme.patcher; if (patcher != null) { IconLoader.removePathPatcher(patcher); } SVGLoader.setColorPatcherProvider(null); unsetBackgroundProperties(IdeBackgroundUtil.EDITOR_PROP); unsetBackgroundProperties(IdeBackgroundUtil.FRAME_PROP); isInitialized = false; }