file_contents_changed


Description:

public signal void file_contents_changed (File file)

Emitted when file content changes (saved, edited, etc.). This signal is emitted when file content is written to disk and triggers background scanning.