Searched refs:ol_mirror (Results 1 – 3 of 3) sorted by relevance
200 &ol_mirror, in setup_items()1007 &ol_mirror, in setup_items()1177 &ol_mirror.option, in setup_items()1210 ol_mirror.set_listener (this); in setup_items()2922 } else if (&lbl == &ol_mirror.option) { in picked()3480 } else if (&b == MENUP.ol_mirror.option) { in clicked()
661 , ol_select_what, ol_select_rule, ol_just, ol_mirror\ member
1456 MENU.picked (MENU.ol_mirror.option, 0); in setup_tools_menu()