- GtkWidget *ST_num_symbol;
- GtkWidget *CM_num_isprefix;
- GtkWidget *ST_num_decimalchar;
- GtkWidget *ST_num_groupingchar;
- GtkWidget *NB_num_fracdigits;
- GtkWidget *LB_numberbase;
-
- //GtkWidget *NB_numnbdec;
- //GtkWidget *CM_numseparator;
- //GtkWidget *CM_imperial;