comparison: sources/interface.cpp
sources/interface.cpp
- changeset 54
- e20e306c886d
- parent 53
- 8f1a6f40d1b4
- child 55
- 79e5460a8a56
equal
deleted
inserted
replaced
| 53:8f1a6f40d1b4 | 54:e20e306c886d |
|---|---|
| 799 { | 799 { |
| 800 mutable_current_input().insert (g_cursor, g_pasteBuffer); | 800 mutable_current_input().insert (g_cursor, g_pasteBuffer); |
| 801 g_cursor += g_pasteBuffer.length(); | 801 g_cursor += g_pasteBuffer.length(); |
| 802 g_needInputRender = true; | 802 g_needInputRender = true; |
| 803 } | 803 } |
| 804 else | |
| 805 print ("paste buffer is empty\n"); | |
| 806 break; | 804 break; |
| 807 | 805 |
| 808 case '\n': | 806 case '\n': |
| 809 case KEY_ENTER: | 807 case KEY_ENTER: |
| 810 switch (g_inputState) | 808 switch (g_inputState) |
