push_log


Description:

public signal void push_log (string log_part)

Push logs to detailed information. It supports terminal codes.