comparison: sources/interface.cpp
sources/interface.cpp
- changeset 116
- 552909484712
- parent 115
- bb7ef7c33dad
- child 117
- 39e05a6ba8d7
equal
deleted
inserted
replaced
| 115:bb7ef7c33dad | 116:552909484712 |
|---|---|
| 828 | 828 |
| 829 case INPUTSTATE_NORMAL: | 829 case INPUTSTATE_NORMAL: |
| 830 if (current_input()[0] == '/') | 830 if (current_input()[0] == '/') |
| 831 { | 831 { |
| 832 handle_command(current_input()); | 832 handle_command(current_input()); |
| 833 InputHistory.insert (0, ""); | 833 flush_input(); |
| 834 NeedInputRender = true; | |
| 835 } | 834 } |
| 836 else if (Session.send_command (current_input())) | 835 else if (Session.send_command (current_input())) |
| 837 { | 836 { |
| 838 InputHistory.insert (0, ""); | 837 flush_input(); |
| 839 NeedInputRender = true; | |
| 840 } | 838 } |
| 841 break; | 839 break; |
| 842 } | 840 } |
| 843 break; | 841 break; |
| 844 | 842 |
| 1114 void Interface::reset_title() | 1112 void Interface::reset_title() |
| 1115 { | 1113 { |
| 1116 Title.sprintf (APPNAME " %s (%s)", full_version_string(), changeset_date_string()); | 1114 Title.sprintf (APPNAME " %s (%s)", full_version_string(), changeset_date_string()); |
| 1117 } | 1115 } |
| 1118 | 1116 |
| 1117 // ------------------------------------------------------------------------------------------------- | |
| 1118 // | |
| 1119 void Interface::flush_input() | |
| 1120 { | |
| 1121 InputHistory.insert (0, ""); | |
| 1122 InputCursor = 0; | |
| 1123 NeedInputRender = true; | |
| 1124 } | |
| 1125 | |
| 1119 END_ZFC_NAMESPACE | 1126 END_ZFC_NAMESPACE |
