API Version: 47
Library Version: 47
Generated by gi-docgen 2023.3
void ide_buffer_addin_file_saved ( IdeBufferAddin* self, IdeBuffer* buffer, GFile* file )
This function is called for an addin after a file has been saved to disk.
buffer
Type: IdeBuffer
IdeBuffer
An IdeBuffer.
file
Type: GFile
GFile
A GFile.