public append(line as String) as Void:
Appends text to the terminal display without writing to the shell.
terminal.append("Build finished")