| public nothrow | Editor(Screen& screen_) |
| private void | Backspace() |
| private void | CursorDown() |
| private void | CursorLeft() |
| private void | CursorPageDown() |
| private void | CursorPageUp() |
| private void | CursorRight() |
| private void | CursorToBeginningOfFile() |
| private void | CursorToBeginningOfLine() |
| private void | CursorToEndOfFile() |
| private void | CursorToEndOfLine() |
| private void | CursorUp() |
| private void | Delete() |
| private void | DeleteCurrentLine() |
| private void | Enter() |
| private void | InsertChar(uchar c) |
| public void | OpenFile(const String<char>& fileName_) |
| private void | Print() |
| private void | PrintLine(int row, int lineNumber) |
| private void | PrintStatus() |
| private void | Prompt(const String<char>& promptText, State state_) |
| public void | Run() |
| public void | Save() |
| private int | colOffset |
| private int | cursorCol |
| private int | cursorRow |
| private bool | dirty |
| private String<char> | fileName |
| private List<String<uchar>> | lines |
| private int | rowOffset |
| private Screen& | screen |
| private State | state |