API Version: 41.0
Library Version: 41.0
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
IdeBuffer
An IdeBuffer.
file
GFile
A GFile.