diff --git a/tools/tui/loop.go b/tools/tui/loop.go index d0b5e7ad8..d60638aed 100644 --- a/tools/tui/loop.go +++ b/tools/tui/loop.go @@ -181,6 +181,12 @@ func (self *Loop) KillIfSignalled() { } } +func (self *Loop) DebugPrintln(args ...interface{}) { + if self.controlling_term != nil { + self.controlling_term.DebugPrintln(args...) + } +} + func (self *Loop) Run() (err error) { signal_read_file, signal_write_file, err := os.Pipe() if err != nil {