comparison: sources/interface.h
sources/interface.h
- changeset 116
- 552909484712
- parent 115
- bb7ef7c33dad
- child 127
- 6610b8b29848
equal
deleted
inserted
replaced
| 115:bb7ef7c33dad | 116:552909484712 |
|---|---|
| 109 void print_to_console (String message); | 109 void print_to_console (String message); |
| 110 void yank (int a, int b); | 110 void yank (int a, int b); |
| 111 int find_previous_word(); | 111 int find_previous_word(); |
| 112 int find_next_word(); | 112 int find_next_word(); |
| 113 void reset_title(); | 113 void reset_title(); |
| 114 void flush_input(); | |
| 114 }; | 115 }; |
| 115 | 116 |
| 116 END_ZFC_NAMESPACE | 117 END_ZFC_NAMESPACE |
