Introduce ConfigOptionDef::is_code to select code_font()

This commit is contained in:
Yuri D'Elia 2020-09-13 02:19:36 +02:00
parent ba7f39afee
commit cd4ad5e78b
2 changed files with 5 additions and 1 deletions

View file

@ -1413,6 +1413,8 @@ public:
bool multiline = false;
// For text input: If true, the GUI text box spans the complete page width.
bool full_width = false;
// For text input: If true, the GUI formats text as code (fixed-width)
bool is_code = false;
// Not editable. Currently only used for the display of the number of threads.
bool readonly = false;
// Height of a multiline GUI text box.