Commit d5a43cce authored by Colin Eles's avatar Colin Eles
Browse files

latest changes 

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5896 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
parent dd867073

GUI.m

+20 −7
Original line number Diff line number Diff line
@@ -222,7 +222,8 @@ classdef GUI < handle 
            uimenu(editmenu,'Label','Ports and Data Manager','Accelerator','p','Callback',@(src,event)input_call(obj,src,event));

            uimenu(pvsmenu,'Label','Typecheck','Accelerator','t','Callback',@(src,event)pvs_ext_call(obj,src,event));

            uimenu(pvsmenu,'Label','PVS Settings','Callback',@(src,event)settings_call(obj,src,event));

            uimenu(pvsmenu,'Label','Check Status','Callback',@(src,event)prf_file_call(obj,src,event))

            uimenu(pvsmenu,'Label','Check Status','Callback',@(src,event)prf_file_call(obj,src,event));

            uimenu(pvsmenu,'Label','Generate PVS file','Callback',@(src,event)pvs_file_call(obj,src,event));
@@ -281,6 +282,14 @@ classdef GUI < handle 
            TableToolMatlab

        end

        

        

        function [] = pvs_file_call(object,src,event)

            object.save_data

             object.PVS.generate_pvs_file(object.Data.function_name);

            

            

        end

        

        %%

        function [] = prf_file_call(object,src,event)

            object.save_data;
@@ -1299,6 +1308,8 @@ classdef GUI < handle 
       %%

        

        function [] = textbox_callback(object,src,event)

            if(~isempty(unicode2native(event.Character)))

                if event.Character > 33 || event.Character == 8

                    if object.pvs_checked == 1

                    object.pvs_checked = 0;

                    object.update_Statusbar
@@ -1307,6 +1318,8 @@ classdef GUI < handle 
                    TableBlock.set_block_display(object.block_handle,object.pvs_checked);

                                    end

                    end

                end

            end

            

        end