| 61 | bool HasNumberInput() const { return num_input_digits > 0; } |
| 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; } |