From 5da71ef0e78fd5d7faf26b14e823e33f1e7c9f53 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 21 Mar 2006 15:21:28 +0000 Subject: [PATCH] mock-up code for tactics contextual menu in the gui --- matita/matitaMathView.ml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/matita/matitaMathView.ml b/matita/matitaMathView.ml index 1d636ef8b..746ef8ffa 100644 --- a/matita/matitaMathView.ml +++ b/matita/matitaMathView.ml @@ -268,9 +268,13 @@ object (self) GMenu.image_menu_item ?stock ?label ~packing:menu#append () in let check = add_menu_item ~label:"Check" () in let reductions_menu_item = GMenu.menu_item ~label:"βδιζ-reduce" () in + let tactics_menu_item = GMenu.menu_item ~label:"Apply tactic" () in menu#append reductions_menu_item; + menu#append tactics_menu_item; let reductions = GMenu.menu () in + let tactics = GMenu.menu () in reductions_menu_item#set_submenu reductions; + tactics_menu_item#set_submenu tactics; let normalize = add_menu_item ~menu:reductions ~label:"Normalize" () in let reduce = add_menu_item ~menu:reductions ~label:"Reduce" () in let simplify = add_menu_item ~menu:reductions ~label:"Simplify" () in -- 2.39.2