Searched refs:pick_box_types (Results 1 – 3 of 3) sorted by relevance
511 const char* mondrian_listener::pick_box_types [5] = {" Pick the oldest box", " Pick a random box", … member in mondrian_listener1420 MENU.ol_auto_pick_box_split.set_text (mondrian_listener::pick_box_types [mondrian0.split_leaf]); in main()1421 MENU.ol_auto_pick_box_delete.set_text (mondrian_listener::pick_box_types [mondrian0.delete_leaf]); in main()
148 static const char* pick_box_types []; member
3722 ol.set_text (pick_box_types[v]); in handle_auto_pick_box()