raw_print(str) -- Print directly to a screen, or otherwise guarantee that the user sees str. raw_print() appends a newline to str. It need not recognize ASCII control characters. This is used during startup (before windowing system initialization -- maybe this means only error startup messages are raw),
| 873 | updating status for micros (i.e, "saving"). |
| 874 | */ |
| 875 | void |
| 876 | gnome_raw_print(const char *str) |
| 877 | { |
| 878 | tty_raw_print(str); |
| 879 | } |
| 880 | |
| 881 | /* |
| 882 | raw_print_bold(str) |
nothing calls this directly
no test coverage detected