| 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 |
|
|