Wed, 27 Jan 2021 12:39:00 +0200
reduce delta with default
/* Copyright 2014 - 2016 Teemu Piippo All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. 3. Neither the name of the copyright holder nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission. THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */ #include <curses.h> #include <string.h> #include <time.h> #include "interface.h" #include "network/rconsession.h" #include "network/ipaddress.h" #include "coloredline.h" BEGIN_ZFC_NAMESPACE static const int PAGE_SIZE = 10; // ------------------------------------------------------------------------------------------------- // chtype Interface::getColorPair(Color fg, Color bg) { if (fg == DEFAULT && bg == DEFAULT) return 0; else return COLOR_PAIR(1 + (int(fg) * NUM_COLORS) + int(bg)); } // ------------------------------------------------------------------------------------------------- // const String& Interface::getCurrentInput() { return m_inputHistory[m_inputCursor]; } // ------------------------------------------------------------------------------------------------- // // Makes current_input() the lastmost input(so that we won't modify history) // void Interface::detachInput() { if (m_inputCursor > 0) { m_inputHistory[0] = getCurrentInput(); m_inputCursor = 0; } } // ------------------------------------------------------------------------------------------------- // A version of current_input() that allows changing the contents of it. // String& Interface::getEditableInput() { detachInput(); return m_inputHistory[m_inputCursor]; } // ------------------------------------------------------------------------------------------------- // void Interface::moveInputCursor(int delta) { // No input history when inputting addresses or passwords if (m_inputState != INPUTSTATE_NORMAL) { m_inputCursor = 0; return; } int oldcursor = m_inputCursor; m_inputCursor = clamp(m_inputCursor + delta, 0, m_inputHistory.size() - 1); if (m_inputCursor != oldcursor) { m_cursorPosition = getCurrentInput().length(); m_needInputRender = true; } } // ------------------------------------------------------------------------------------------------- // String Interface::getPromptString() { String prompt; switch (m_inputState) { case INPUTSTATE_NORMAL: prompt = ">"; break; case INPUTSTATE_ADDRESS: prompt = "address:"; break; case INPUTSTATE_PASSWORD: prompt = "password:"; break; case INPUTSTATE_CONFIRM_DISCONNECTION: break; } return prompt; } // ------------------------------------------------------------------------------------------------- // void Interface::setInputState(InputState newstate) { // Clear the input row(unless going to or from confirm state) if (newstate != INPUTSTATE_CONFIRM_DISCONNECTION and m_inputState != INPUTSTATE_CONFIRM_DISCONNECTION) { m_inputCursor = 0; getEditableInput().clear(); } switch (newstate) { case INPUTSTATE_ADDRESS: if (m_remoteAddress.host != 0) getEditableInput() = m_remoteAddress.to_string(IPAddress::WITH_PORT); break; default: break; } m_inputState = newstate; m_needInputRender = true; } // ------------------------------------------------------------------------------------------------- // Interface::Interface() : m_inputCursor(0), m_cursorPosition(0), m_inputPanning(0), m_needRefresh(false), m_needStatusBarRender(false), m_needInputRender(false), m_needOutputRender(false), m_needNicklistRender(false), m_outputScroll(0), m_inputState(INPUTSTATE_NORMAL), m_disconnectCallback(nullptr) { ::initscr(); ::raw(); ::keypad(stdscr, true); ::noecho(); ::refresh(); ::timeout(0); m_inputHistory.clear(); m_inputHistory << ""; m_outputLines.clear(); m_outputLines << ColoredLine(); m_session.setInterface(this); resetTitle(); if (::has_colors()) { ::start_color(); bool hasDefaultColors =(::use_default_colors() == OK); int defaultFg = hasDefaultColors ? -1 : COLOR_WHITE; int defaultBg = hasDefaultColors ? -1 : COLOR_BLACK; // Initialize color pairs for (int i : range<int>(NUM_COLORS)) for (int j : range<int>(NUM_COLORS)) { int pairnum = 1 + (i * NUM_COLORS + j); int fg =(i == DEFAULT) ? defaultFg : i; int bg =(j == DEFAULT) ? defaultBg : j; if (fg != -1 || bg != -1) { if (::init_pair(pairnum, fg, bg) == ERR) printWarning("Unable to initialize color pair %d(%d, %d)\n", pairnum, fg, bg); } } } renderFull(); refresh(); m_needRefresh = false; } // ------------------------------------------------------------------------------------------------- // void Interface::renderTitlebar() { if (m_title.length() <= COLS) { chtype pair = getColorPair(WHITE, BLUE); int startx =(COLS - m_title.length()) / 2; int endx = startx + m_title.length(); attron(pair); mvprintw(0, startx, "%s", m_title.chars()); mvhline(0, 0, ' ', startx); mvhline(0, endx, ' ', COLS - endx); attroff(pair); } m_needRefresh = true; } // ------------------------------------------------------------------------------------------------- // void Interface::setTitle(const String& title) { m_title = title; renderTitlebar(); } // ------------------------------------------------------------------------------------------------- // void Interface::safeDisconnect(std::function<void(bool)> afterwards) { if (m_session.isActive()) { m_disconnectCallback = afterwards; setInputState(INPUTSTATE_CONFIRM_DISCONNECTION); } else afterwards(false); } // ------------------------------------------------------------------------------------------------- // int Interface::nicklistWidth() { // Allocate at least 12 characters, at most 24 characters, for the nicklist. If we cannot // afford that(o_O) then we probably shouldn't draw the nicklist at all I think. int nicklistWidth = COLS / 4; if (nicklistWidth < 12) return 0; return min(nicklistWidth, 24); } // ------------------------------------------------------------------------------------------------- // Renders the given colored line onto the screen. Will wrap if allowWrap is true. Returns the // 'y' value for the next line. // int Interface::renderColorline(int y, int x0, int width, const ColoredLine& line, bool allowWrap) { int x = x0; for (int byte : line.data()) { if (x == x0 + width) { if (not allowWrap) return y; x = x0; ++y; } if (byte < 256 && isprint(byte)) { mvaddch(y, x, char(byte)); ++x; } else if (byte >= RLINE_ON_COLOR and byte <(RLINE_ON_COLOR + 16)) { auto attrfunction =(byte < RLINE_OFF_COLOR ? &attron : &attroff); (*attrfunction)(getColorPair(Color((byte - RLINE_ON_COLOR) & 7), DEFAULT)); } else switch (byte) { case RLINE_ON_BOLD: attron(A_BOLD); break; case RLINE_OFF_BOLD: attroff(A_BOLD); break; } } return y + 1; } // ------------------------------------------------------------------------------------------------- // void Interface::renderOutput() { if (m_outputLines.size() == 1) return; m_outputScroll = clamp(m_outputScroll, 0, m_outputLines.size() - 1); int height = LINES - 3; int width = COLS - nicklistWidth(); int printOffset = 0; int end = m_outputLines.size() - 1 - m_outputScroll; int start = end; int usedHeight = 0; int y = 1; bool tightFit = false; // Where to start? while (start > 0) { int rows = m_outputLines[start - 1].rows(width); if (usedHeight + rows > height) { // This line won't fit anymore. tightFit = true; break; } start--; usedHeight += rows; } // See if there's any more rows to use(end may be too small) if (not tightFit) { while (end < m_outputLines.size()) { int rows = m_outputLines[end].rows(width); if (usedHeight + rows > height) { tightFit = true; break; } end++; usedHeight += rows; } } if (start > 0) printOffset = height - usedHeight; m_outputScroll = m_outputLines.size() - 1 - end; if (start < 0 or start == end or printOffset >= height) return; assert(start <= end and start - end <= height); // Clear the display for (int i : range(height)) mvhline(y + i, 0, ' ', width); // Print the lines y += printOffset; for (int i : range(start, end)) y = renderColorline(y, 0, width, m_outputLines[i], true); m_needOutputRender = false; m_needRefresh = true; } // ------------------------------------------------------------------------------------------------- // void Interface::renderNicklist() { int width = nicklistWidth(); int height = LINES- 3; int y = 1; int x = COLS - width; if (width > 0) return; for (int i : range(height)) { mvhline(y, x, ' ', width); if (i < m_playerNames.size()) renderColorline(y, x, width, m_playerNames[i], false); y++; } m_needNicklistRender = false; m_needRefresh = true; } // ------------------------------------------------------------------------------------------------- // void Interface::renderInput() { chtype promptColor = getColorPair(WHITE, BLUE); // If we're asking the user if they want to disconnect, we don't render any input strings, // just the confirmation message. if (m_inputState == INPUTSTATE_CONFIRM_DISCONNECTION) { attron(promptColor); mvhline(LINES - 2, 0, ' ', COLS); mvprintw(LINES - 2, 0, "Are you sure you want to disconnect? y/n"); attroff(promptColor); m_needRefresh = true; return; } String prompt = getPromptString(); int displayLength = COLS - prompt.length() - 2; String displayString = getCurrentInput(); int y = LINES - 2; // If we're inputting a password, replace it with asterisks if (m_inputState == INPUTSTATE_PASSWORD) { for (char &ch : displayString) ch = '*'; } // Ensure the cursor is within bounds m_cursorPosition = clamp(m_cursorPosition, 0, displayString.length()); // Ensure that the cursor is always in view, adjust panning if this is not the case if (m_cursorPosition > m_inputPanning + displayLength) m_inputPanning = m_cursorPosition - displayLength; // cursor went too far right else if (m_cursorPosition < m_inputPanning) m_inputPanning = m_cursorPosition; // cursor went past the pan value to the left // What part of the string to draw? int start = m_inputPanning; int end = min<int>(displayString.length(), start + displayLength); assert(m_cursorPosition >= start and m_cursorPosition <= end); // Render the input string mvhline(LINES - 2, 0, ' ', COLS); mvprintw(y, prompt.length() + 1, "%s", displayString.mid(start, end).chars()); // Render the prompt attron(promptColor); mvprintw(y, 0, "%s", prompt.chars()); attroff(promptColor); // Store in memory where the cursor is now(so that we can re-draw it to position the terminal // cursor). m_cursorCharacter.ch = m_cursorPosition != 0 ? displayString[m_cursorPosition - 1] : '\0'; m_cursorCharacter.x = prompt.length() + (m_cursorPosition - m_inputPanning); m_needRefresh = true; m_needInputRender = false; } // ------------------------------------------------------------------------------------------------- // void Interface::renderStatusBar() { chtype color = getColorPair(WHITE, BLUE); int y = LINES - 1; attron(color); mvhline(y, 0, ' ', COLS); mvprintw(y, 0, "%s", m_statusBarText.chars()); attroff(color); m_needRefresh = true; m_needStatusBarRender = false; } // ------------------------------------------------------------------------------------------------- // void Interface::updateStatusBar() { String text; switch (m_session.getState()) { case RCON_DISCONNECTED: text = "Disconnected."; break; case RCON_CONNECTING: case RCON_AUTHENTICATING: text = "Connecting to " + m_session.address().to_string(IPAddress::WITH_PORT) + "..."; break; case RCON_CONNECTED: { String adminText; if (m_session.getAdminCount() == 0) { adminText = "No other admins"; } else { adminText.sprintf("%d other admin%s", m_session.getAdminCount(), m_session.getAdminCount() != 1 ? "s" : ""); } text.sprintf("%s | %s | %s", m_session.address().to_string(IPAddress::WITH_PORT).chars(), m_session.getLevel().chars(), adminText.chars()); } break; } if (not text.isEmpty()) text += " | "; text += "Ctrl+N to connect, Ctrl+Q to "; text +=(m_session.getState() == RCON_DISCONNECTED) ? "quit" : "disconnect"; if (text != m_statusBarText) { m_statusBarText = text; m_needStatusBarRender = true; } } // ------------------------------------------------------------------------------------------------- // void Interface::renderFull() { updateStatusBar(); renderTitlebar(); renderOutput(); renderStatusBar(); renderInput(); renderNicklist(); } // ------------------------------------------------------------------------------------------------- // void Interface::positionCursor() { // This is only relevant if the input string is being drawn if (m_inputState == INPUTSTATE_CONFIRM_DISCONNECTION) return; int y = LINES - 2; if (m_cursorCharacter.ch != '\0') mvprintw(y, m_cursorCharacter.x, "%c", m_cursorCharacter.ch); else mvprintw(y, getPromptString().length(), " "); } // ------------------------------------------------------------------------------------------------- // int Interface::findPreviousWord() { const String& input = getCurrentInput(); int pos = m_cursorPosition; // Move past whitespace while (pos > 0 and isspace(input[pos - 1])) pos--; // Move past the word while (pos > 0 and not isspace(input[pos - 1])) pos--; return pos; } // ------------------------------------------------------------------------------------------------- // int Interface::findNextWord() { const String& input = getCurrentInput(); int pos = m_cursorPosition; // Move past current whitespace while (pos < input.length() and isspace(input[pos])) pos++; // Move past the word while (input[pos] != '\0' and not isspace(input[pos])) pos++; return pos; } // ------------------------------------------------------------------------------------------------- // void Interface::yank(int a, int b) { if (a >= b) return; if (m_cursorPosition > a and m_cursorPosition <= b) m_cursorPosition = a; String& input = getEditableInput(); m_pasteBuffer = input.mid(a, b); input.remove(a, b - a); m_needInputRender = true; } // ------------------------------------------------------------------------------------------------- // void Interface::handleInput() { int ch = ::getch(); if (ch < 0) return; if (ch == KEY_RESIZE) { ::clear(); renderFull(); return; } if (m_inputState == INPUTSTATE_CONFIRM_DISCONNECTION) { if (ch == 'y' or ch == 'Y') { m_session.disconnect(); m_disconnectCallback(true); } else if (ch == 'n' or ch == 'N') setInputState(INPUTSTATE_NORMAL); return; } if (ch >= 0x20 and ch <= 0x7E) { getEditableInput().insert(m_cursorPosition++, char(ch)); m_needInputRender = true; } else switch (ch) { case 'Q' - 'A' + 1: // ^Q switch (m_inputState) { case INPUTSTATE_CONFIRM_DISCONNECTION: break; case INPUTSTATE_NORMAL: safeDisconnect([&](bool hadsession) { if (hadsession) { setInputState(INPUTSTATE_NORMAL); } else { endwin(); throw Exitception(); } }); break; case INPUTSTATE_PASSWORD: setInputState(INPUTSTATE_ADDRESS); break; case INPUTSTATE_ADDRESS: setInputState(INPUTSTATE_NORMAL); } break; case KEY_LEFT: case 'B' - 'A' + 1: // readline ^B if (m_cursorPosition > 0) { m_cursorPosition--; m_needInputRender = true; } break; case KEY_RIGHT: case 'F' - 'A' + 1: // readline ^F if (m_cursorPosition < getCurrentInput().length()) { m_cursorPosition++; m_needInputRender = true; } break; case KEY_DOWN: case KEY_UP: moveInputCursor(ch == KEY_DOWN ? -1 : 1); break; case KEY_HOME: case 'A' - 'A' + 1: // readline ^A if (m_cursorPosition != 0) { m_cursorPosition = 0; m_needInputRender = true; } break; case KEY_END: case 'E' - 'A' + 1: // readline ^E if (m_cursorPosition != getCurrentInput().length()) { m_cursorPosition = getCurrentInput().length(); m_needInputRender = true; } break; case KEY_BACKSPACE: case '\b': if (m_cursorPosition > 0) { getEditableInput().removeAt(--m_cursorPosition); m_needInputRender = true; } break; case KEY_DC: case 'D' - 'A' + 1: // readline ^D if (m_cursorPosition < getCurrentInput().length()) { getEditableInput().removeAt(m_cursorPosition); m_needInputRender = true; } break; case KEY_PPAGE: m_outputScroll += min(PAGE_SIZE, LINES / 2); m_needOutputRender = true; break; case KEY_NPAGE: m_outputScroll -= min(PAGE_SIZE, LINES / 2); m_needOutputRender = true; break; case 'U' - 'A' + 1: // readline ^U - delete from start to cursor if (m_cursorPosition > 0) { yank(0, m_cursorPosition); m_cursorPosition = 0; } break; case 'K' - 'A' + 1: // readline ^K - delete from cursor to end yank(m_cursorPosition, getEditableInput().length()); break; case 'W' - 'A' + 1: // readline ^W - delete from previous word bounary to current yank(findPreviousWord(), m_cursorPosition); break; case 'Y' - 'A' + 1: // readline ^Y - paste previously deleted text if (not m_pasteBuffer.isEmpty()) { getEditableInput().insert(m_cursorPosition, m_pasteBuffer); m_cursorPosition += m_pasteBuffer.length(); m_needInputRender = true; } break; case '\t': { int space = getCurrentInput().find(" "); if (m_inputState == INPUTSTATE_NORMAL and m_cursorPosition > 0 and(space == -1 or space >= m_cursorPosition)) { String start = getCurrentInput().mid(0, m_cursorPosition); m_session.requestTabCompletion(start); } } break; case '\n': case '\r': case KEY_ENTER: switch (m_inputState) { case INPUTSTATE_CONFIRM_DISCONNECTION: break; // handled above case INPUTSTATE_ADDRESS: try { m_remoteAddress = IPAddress::from_string(getCurrentInput()); } catch (std::exception& e) { print("%s\n", e.what()); return; } if (m_remoteAddress.port == 0) m_remoteAddress.port = 10666; setInputState(INPUTSTATE_PASSWORD); break; case INPUTSTATE_PASSWORD: if (m_inputState == INPUTSTATE_PASSWORD and not getCurrentInput().isEmpty()) { m_session.disconnect(); m_session.setPassword(getCurrentInput()); m_session.connect(m_remoteAddress); setInputState(INPUTSTATE_NORMAL); } break; case INPUTSTATE_NORMAL: if (getCurrentInput()[0] == '/') { handleCommand(getCurrentInput()); flushInput(); } else if (m_session.sendCommand(getCurrentInput())) { flushInput(); } break; } break; case 'N' - 'A' + 1: // ^N if (m_inputState == INPUTSTATE_NORMAL) safeDisconnect([&](bool){setInputState(INPUTSTATE_ADDRESS);}); break; case '\x1b': // Escape // We may have an alt key coming ch = ::getch(); if (ch != ERR) { switch (ch) { case 'b': case 'B': // readline alt-b - move one word to the left m_cursorPosition = findPreviousWord(); m_needInputRender = true; break; case 'f': case 'F': // readline alt-f - move one word to the right m_cursorPosition = findNextWord(); m_needInputRender = true; break; case 'd': case 'D': // readline alt-d - delete from here till next word boundary yank(m_cursorPosition, findNextWord()); break; case KEY_BACKSPACE: // alt+backspace, remove previous word case '\b': yank(findPreviousWord(), m_cursorPosition); break; } } else { // No alt-key, handle pure escape if (m_inputState == INPUTSTATE_PASSWORD) setInputState(INPUTSTATE_ADDRESS); else if (m_inputState == INPUTSTATE_ADDRESS) setInputState(INPUTSTATE_NORMAL); } break; } render(); } // ------------------------------------------------------------------------------------------------- // void Interface::render() { if (m_needStatusBarRender) renderStatusBar(); if (m_needInputRender) renderInput(); if (m_needOutputRender) renderOutput(); if (m_needNicklistRender) renderNicklist(); if (m_needRefresh) { positionCursor(); refresh(); m_needRefresh = false; } } // ------------------------------------------------------------------------------------------------- // void Interface::vprint(const char* fmtstr, va_list args) { String message; message.vsprintf(fmtstr, args); printToConsole(message); } // ------------------------------------------------------------------------------------------------- // void __cdecl Interface::printText(const char* fmtstr, ...) { va_list args; va_start(args, fmtstr); vprint(fmtstr, args); va_end(args); } // ------------------------------------------------------------------------------------------------- // void __cdecl Interface::print(const char* fmtstr, ...) { va_list args; va_start(args, fmtstr); printToConsole(TEXTCOLOR_BrightBlue); vprint(fmtstr, args); va_end(args); } // ------------------------------------------------------------------------------------------------- // void __cdecl Interface::printWarning(const char* fmtstr, ...) { va_list args; va_start(args, fmtstr); printToConsole(TEXTCOLOR_BrightYellow "-!- "); vprint(fmtstr, args); va_end(args); } // ------------------------------------------------------------------------------------------------- // void __cdecl Interface::printError(const char* fmtstr, ...) { va_list args; va_start(args, fmtstr); printToConsole(TEXTCOLOR_BrightRed "!!! "); vprint(fmtstr, args); va_end(args); } // ------------------------------------------------------------------------------------------------- // void Interface::printToConsole(String message) { // Zandronum sometimes sends color codes as "\\c" and sometimes as "\x1C". // Let's correct that on our end and hope this won't cause conflicts. message.replace("\\c", "\x1C"); for (char ch : message) { if (ch == '\n') { m_outputLines.last().finalize(); m_outputLines << ColoredLine(); continue; } if (m_outputLines.last().length() == 0) { time_t now; time(&now); char timestamp[32]; strftime(timestamp, sizeof timestamp, "[%H:%M:%S] ", localtime(&now)); for (char ch : String(timestamp)) m_outputLines.last().addChar(ch); } // Remove some lines if there's too many of them. 20,000 should be enough, I hope. while (m_outputLines.size() > 20000) m_outputLines.remove_at(0); m_outputLines.last().addChar(ch); } m_needOutputRender = true; } // ------------------------------------------------------------------------------------------------- // void Interface::connect(String address, String password) { try { m_remoteAddress = IPAddress::from_string(address); } catch (std::exception& e) { print("%s\n", e.what()); return; } if (m_remoteAddress.port == 0) m_remoteAddress.port = 10666; m_session.disconnect(); m_session.setPassword(password); m_session.connect(m_remoteAddress); } // ------------------------------------------------------------------------------------------------- // void Interface::setPlayerNames(const StringList& names) { m_playerNames.clear(); for (const String& name : names) { ColoredLine coloredname; coloredname.addString(name); coloredname.finalize(); m_playerNames.append(coloredname); } m_needNicklistRender = true; } // ------------------------------------------------------------------------------------------------- // void Interface::tabComplete(const String& part, String complete) { String& input = getEditableInput(); if (input.startsWith(part)) { if (input[part.length()] != ' ') complete += ' '; input.replace(0, part.length(), complete); m_cursorPosition = complete.length(); m_needInputRender = true; } } // ------------------------------------------------------------------------------------------------- // void Interface::handleCommand(const String& input) { if (input[0] != '/') return; StringList args = input.right(input.length() - 1).split(" "); String command = args[0].toLowerCase(); args.remove_at(0); if (command == "connect") { if (args.size() != 2) { printError("Usage: /connect <address> <password>\n"); } else { IPAddress address; try { address = IPAddress::from_string(args[0]); } catch (std::exception& e) { printError("%s\n", e.what()); return; } if (address.port == 0) address.port = 10666; m_session.setPassword(args[1]); m_session.disconnect(); m_session.connect(m_remoteAddress = address); } } else if (command == "disconnect") { m_session.disconnect(); } else if (command == "quit") { m_session.disconnect(); endwin(); throw Exitception(); } else if (command == "watch") { if (not args.is_empty()) m_session.requestWatch(args); else printError("No CVars to watch.\n"); } else printError("Unknown command: %s\n", command.chars()); } // ------------------------------------------------------------------------------------------------- // void Interface::disconnected() { print("Disconnected from %s\n", m_session.address().to_string(IPAddress::WITH_PORT).chars()); resetTitle(); renderFull(); } // ------------------------------------------------------------------------------------------------- // void Interface::resetTitle() { m_title.sprintf("%s %s (%s)", application_name(), full_version_string(), changeset_date_string()); } // ------------------------------------------------------------------------------------------------- // void Interface::flushInput() { m_inputHistory.insert(0, ""); m_inputCursor = 0; m_needInputRender = true; } END_ZFC_NAMESPACE