append_source_with_time


Description:

public void append_source_with_time (string id, Icon? icon, string label, int64 time)

Appends a new message source to the end of the section representing this and initializes it with time.

Use append_source to append a source with the current time.

To change the time, use set_source_time.

It is an error to insert a source with an id which already exists. Use has_source to find out whether there is such a source.

Parameters:

this

a App

id

a unique identifier for the source to be added

icon

the icon associated with the source

label

a user-visible string best describing the source

time

the time when the source was created, in microseconds