Lines Matching defs:character

1124       // Cursor is past the last character. Highlight an empty space.
1164   // Get the position of the last visible character.
1180   // The cursor is allowed to move one character past the string.
1201   // Insert a character at the current cursor position and advance the cursor
1203   void InsertChar(char character) {
1204     m_content.insert(m_cursor_position, 1, character);
1209   // Remove the character before the cursor position, retreat the cursor
1221   // Remove the character after the cursor position.
1325   // The position of the top left corner character of the border.
1330   // The index of the first visible character in the content.
1523   // choice is denoted by a diamond as the first character.
2482   // A form window is padded by one character from all sides. First, if an error
3676   // A completion window is padded by one character from all sides. A text field
4553       // or '>' character...
4742         // 'v' or '>' character...
5603         {'c', "Format as character"},
6136     return "shifted delete-character key";
6154     return "shifted insert-character key";