Loading @GUI/init.m +1 −1 Original line number Diff line number Diff line Loading @@ -174,7 +174,7 @@ uimenu(checkmenu,'Label','PVS Generate file','Callback',@(src,event)pvs_file_cal uimenu(checkmenu,'Label','PVS Typecheck SimTypes','Callback',@(src,event)pvs_ext_call_sim(object,src,event)); uimenu(helpmenu,'Label','Product Help','Callback',@(src,event)help_call(object,src,event)); uimenu(helpmenu,'Label','About Table Tool','Callback',@(src,event)about_call(object,src,event)); uimenu(helpmenu,'Label','About Tabular Expression Toolbox','Callback',@(src,event)about_call(object,src,event)); object.set_command_pos; object.reset_wh(); Loading Loading
@GUI/init.m +1 −1 Original line number Diff line number Diff line Loading @@ -174,7 +174,7 @@ uimenu(checkmenu,'Label','PVS Generate file','Callback',@(src,event)pvs_file_cal uimenu(checkmenu,'Label','PVS Typecheck SimTypes','Callback',@(src,event)pvs_ext_call_sim(object,src,event)); uimenu(helpmenu,'Label','Product Help','Callback',@(src,event)help_call(object,src,event)); uimenu(helpmenu,'Label','About Table Tool','Callback',@(src,event)about_call(object,src,event)); uimenu(helpmenu,'Label','About Tabular Expression Toolbox','Callback',@(src,event)about_call(object,src,event)); object.set_command_pos; object.reset_wh(); Loading