Searched refs:prg_label (Results 1 – 1 of 1) sorted by relevance
20178 Widget prg_box, prg_label; in make_preferences_dialog() local20183 prg_label = make_top_level_label("listener options", prg_box); in make_preferences_dialog()20187 prg_box, prg_label, in make_preferences_dialog()