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