Searched refs:cur_fontsize_panel (Results 1 – 1 of 1) sorted by relevance
217 static Widget cur_fontsize_panel; variable2321 (void) int_panel(new_t->size, form, " Size", (Widget) 0, &cur_fontsize_panel, in make_window_text()2464 new_t->size = atoi(panel_get_value(cur_fontsize_panel)); in get_new_text_values()2467 panel_set_int(cur_fontsize_panel, 1); in get_new_text_values()