Option 'buttonsize' to change the size of the buttons.

This commit is contained in:
Pere Pujal i Carabantes 2020-09-28 13:35:18 +02:00
parent 82881a65f4
commit 7121c75c78
3 changed files with 14 additions and 1 deletions

View file

@ -43,6 +43,7 @@ struct cfginfo
const char *parsertmp_locale;
const char *parsertmp_sysconfig;
const char *parsertmp_windowsize;
const char *button_size;
const char *print_delay;
const char *printcommand;
// const char *promptless_save;