| 62 | int GetNumberInputDigits() const { return num_input_digits; } |
| 63 | int GetNumberInputVariable() const { return num_input_variable; } |
| 64 | int GetNumberInputStartLine() const { return NumLines(); } |
| 65 | |
| 66 | void SetEnableFace(bool value) { enable_face = value; } |
| 67 | bool IsFaceEnabled() const { return enable_face; } |