package body agar.gui.widget.console is package cbinds is procedure set_padding (console : console_access_t; padding : c.int); pragma import (c, set_padding, "AG_ConsoleSetPadding"); function message (console : console_access_t; text : cs.chars_ptr) return line_access_t; pragma import (c, message, "AG_ConsoleMsgS"); function append_line (console : console_access_t; text : cs.chars_ptr) return line_access_t; pragma import (c, append_line, "AG_ConsoleAppendLine"); end cbinds; procedure set_padding (console : console_access_t; padding : natural) is begin cbinds.set_padding (console => console, padding => c.int (padding)); end set_padding; function append_line (console : console_access_t; text : string) return line_access_t is ca_text : aliased c.char_array := c.to_c (text); begin return cbinds.append_line (console => console, text => cs.to_chars_ptr (ca_text'unchecked_access)); end append_line; function widget (console : console_access_t) return widget_access_t is begin return console.widget'access; end widget; end agar.gui.widget.console;