ui_set_system_title(title: string)
See also: Python API |
CHANGE_TITLE
variable in the on_load
method from CHANGE_TITLE=FALSE
to CHANGE_TITLE=TRUE
on_load
method of the user menu:
on_load
method.
DetailsPID = str(os.getpid()) ppms.ui_set_system_title('system title' + ', PID: ' + PID + " - " + ppms.uvar_get("@1"))