/// <summary> /// Save the settings when requested by the options editor. /// </summary> public override void Save() { _buildToolManager.BuildTools = _buildTools; _buildToolManager.UpdateBuildToolStatus(); }