insert_source_with_time


Description:

public void insert_source_with_time (int position, string id, Icon? icon, string label, int64 time)

Inserts a new message source into the section representing this and initializes it with time .

Use insert_source to insert 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

position

the position at which to insert the source

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