void gtk_debugger_close (void)
{
#ifndef NO_GDB
// hide all windows
gdbtk_hide_insight();
dbg_on = 0;
if(options3.dbg_dock)
dbgdock_hide_all(!0);
else
dbgwnds_hide_all(!0);
// and restarts the emulator
ti68k_bkpt_set_cause(0, 0, 0);
dbgbkpts_erase_context();
if (engine_is_stopped()) gdbcall_continue();
#else
// hide all windows
dbg_on = 0;
if(options3.dbg_dock)
dbgdock_hide_all(!0);
else
dbgwnds_hide_all(!0);
// and restarts the emulator
ti68k_bkpt_set_cause(0, 0, 0);
dbgbkpts_erase_context();
engine_start();
#endif
}
GLADE_CB void
on_quit1_activate (GtkMenuItem *menuitem,
gpointer user_data)
{
// hide all windows
#ifndef NO_GDB
gdbtk_hide_insight();
#endif
dbg_on = 0;
gtk_debugger_hide_all(!0);
// and restarts the emulator
ti68k_bkpt_set_cause(0, 0, 0);
#ifndef NO_GDB
if (engine_is_stopped()) gdbcall_continue();
#endif
}