handle_deleted


Description:

protected void handle_deleted ()

Signal handler called when the underlying preferences file is deleted.