35 |
/* reinit of vmachine */ |
/* reinit of vmachine */ |
36 |
if ( bin_loader.file_loaded() ) |
if ( bin_loader.file_loaded() ) |
37 |
vm.init( bin_loader.get_data(), bin_loader.get_instr()); |
vm.init( bin_loader.get_data(), bin_loader.get_instr()); |
38 |
|
reinit_gui(); |
39 |
} |
} |
40 |
refresh_gui(); |
refresh_gui(); |
41 |
} |
} |
49 |
if ( bin_loader.file_loaded() ) |
if ( bin_loader.file_loaded() ) |
50 |
vm.init( bin_loader.get_data(), bin_loader.get_instr()); |
vm.init( bin_loader.get_data(), bin_loader.get_instr()); |
51 |
|
|
52 |
|
reinit_gui(); |
53 |
} catch( ex<vmachine> e ) { |
} catch( ex<vmachine> e ) { |
54 |
show_msg( e.error_msg() ); |
show_msg( e.error_msg() ); |
55 |
|
|
71 |
if ( bin_loader.file_loaded() ) |
if ( bin_loader.file_loaded() ) |
72 |
vm.init( bin_loader.get_data(), bin_loader.get_instr()); |
vm.init( bin_loader.get_data(), bin_loader.get_instr()); |
73 |
|
|
74 |
|
reinit_gui(); |
75 |
|
|
76 |
} catch( ex<loader> e ) { |
} catch( ex<loader> e ) { |
77 |
show_msg( e.error_msg() ); |
show_msg( e.error_msg() ); |
78 |
|
|