let selector (popup_factory:GMenu.menu GMenu.factory)
(main_ui:Design.main_window_extension_points)
~button localizable =
if button = 3 then
begin
let submenu = popup_factory#add_submenu "Dependencies" in
let submenu_factory = new GMenu.factory submenu in
add_item main_ui ~use_values:false submenu_factory
"Help" (Some()) (fun _ -> help main_ui) ;
ignore (submenu_factory#add_separator ());
let kf_stmt_opt = get_kf_stmt_opt localizable in
let arg = match kf_stmt_opt with None -> None
| Some (kf, stmt) -> Some (kf, stmt, localizable)
in
let add_zones_item name cb =
add_item main_ui ~use_values:true
submenu_factory name arg (cb main_ui) in
add_zones_item "Show defs" (callbacks ~defs:true);
add_zones_item "Zones" (callbacks ~zones:true);
add_zones_item "DataScope" (callbacks ~scope:true);
add_zones_item "PropScope" (callbacks ~pscope:true);
ignore (submenu_factory#add_separator ());
add_zones_item "Show All"
(callbacks ~defs:true ~zones:true ~scope:true);
add_item main_ui ~use_values:false submenu_factory "Reset All" (Some())
(fun _ -> reset () ; main_ui#rehighlight ())
end
else if button = 1 then
print_info main_ui (get_kf_stmt_opt localizable)