note description: "Summary description for {EBB_LOGGER}." author: "" date: "$Date$" revision: "$Revision$" class EBB_LOG feature -- Basic operations put_line (a_line: STRING) -- Put `a_line' into log. do io.put_string (a_line) io.put_new_line end put_visible_line (a_line: STRING) -- Make `a_line' visible to user. -- This is usually achieved by putting the line into the status bar of the active window. do -- Default implementation, just put it into log normally put_line (a_line) end end