comparison: sources/interface.cpp
sources/interface.cpp
- changeset 126
- 6a0d6bddf2ab
- parent 120
- 32ba3ae4daf1
- child 127
- 6610b8b29848
equal
deleted
inserted
replaced
| 125:d8ecf07a76cf | 126:6a0d6bddf2ab |
|---|---|
| 1114 | 1114 |
| 1115 // ------------------------------------------------------------------------------------------------- | 1115 // ------------------------------------------------------------------------------------------------- |
| 1116 // | 1116 // |
| 1117 void Interface::reset_title() | 1117 void Interface::reset_title() |
| 1118 { | 1118 { |
| 1119 Title.sprintf (APPNAME " %s (%s)", full_version_string(), changeset_date_string()); | 1119 Title.sprintf ("%s %s (%s)", application_name(), full_version_string(), changeset_date_string()); |
| 1120 } | 1120 } |
| 1121 | 1121 |
| 1122 // ------------------------------------------------------------------------------------------------- | 1122 // ------------------------------------------------------------------------------------------------- |
| 1123 // | 1123 // |
| 1124 void Interface::flush_input() | 1124 void Interface::flush_input() |
