103
103
buttons_w[2]= glue_wk_widget (false, false, 5*PIXEL);
104
104
buttons_w[3]= command_button (text_wk_widget ("Ok", false, "english"),
105
105
inputs_list_command (this, n-1, n), true);
107
107
buttons_w[4]= glue_wk_widget (false, false, 19*PIXEL);
109
109
buttons_w[4]= glue_wk_widget (false, false, 5*PIXEL);