Searched refs:ide_diagnostics_manager_extension_removed (Results 1 – 1 of 1) sorted by relevance
815 ide_diagnostics_manager_extension_removed (IdeExtensionSetAdapter *adapter, in ide_diagnostics_manager_extension_removed() function1166 G_CALLBACK (ide_diagnostics_manager_extension_removed), in _ide_diagnostics_manager_file_opened()