comparison: sources/interface.cpp
sources/interface.cpp
- changeset 95
- e7439fa13093
- parent 92
- 39947c46ed17
- child 96
- 5314ebdcb38d
equal
deleted
inserted
replaced
| 94:294803d4ab5d | 95:e7439fa13093 |
|---|---|
| 164 InputHistory.clear(); | 164 InputHistory.clear(); |
| 165 InputHistory << ""; | 165 InputHistory << ""; |
| 166 OutputLines.clear(); | 166 OutputLines.clear(); |
| 167 OutputLines << ColoredLine(); | 167 OutputLines << ColoredLine(); |
| 168 Session.set_interface (this); | 168 Session.set_interface (this); |
| 169 Title.sprintf (APPNAME " %s (%d)", full_version_string(), changeset_date_string()); | 169 Title.sprintf (APPNAME " %s (%s)", full_version_string(), changeset_date_string()); |
| 170 | 170 |
| 171 if (::has_colors()) | 171 if (::has_colors()) |
| 172 { | 172 { |
| 173 ::start_color(); | 173 ::start_color(); |
| 174 ::use_default_colors(); | 174 ::use_default_colors(); |
