API Version: 42.0
Library Version: 42.0
Generated by gi-docgen 2023.1
void ide_highlight_engine_pause ( IdeHighlightEngine* self )