API Version: 45
Library Version: 45
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.