src/console.h
changeset 137 c607c357c486
parent 93 42ade8285570
child 170 1b2f28e26eef
--- a/src/console.h	Sun Apr 12 20:37:57 2009 +0300
+++ b/src/console.h	Sun Apr 12 22:19:54 2009 +0300
@@ -52,6 +52,12 @@
 
     /** Already initialized? */
     bool initialized;
+
+    /** Set as log output function? */
+    bool log_output;
+
+    /** In the middle of input? */
+    bool have_input;
 };
 
 /**
@@ -73,6 +79,16 @@
 void console_set_callbacks (struct console *console, const struct console_callbacks *callbacks, void *cb_arg);
 
 /**
+ * Output a full line (without included newline) on the console, trying not to interfere with the input too much.
+ */
+err_t console_print (struct console *console, const char *line);
+
+/**
+ * Install this console as the log output handler
+ */
+void console_set_log_output (struct console *console);
+
+/**
  * Deinitialize the console, restoring the TTY and releasing resources
  */
 void console_destroy (struct console *console);