2
* gdb-ui.h - A GTK-based user interface for the GNU debugger.
3
* Copyright 2008 Jeff Pohlmeyer <yetanothergeek(at)gmail(dot)com>
6
* This program is free software; you can redistribute it and/or modify
7
* it under the terms of the GNU General Public License as published by
8
* the Free Software Foundation; either version 2 of the License, or
9
* (at your option) any later version.
12
* This program is distributed in the hope that it will be useful,
13
* but WITHOUT ANY WARRANTY; without even the implied warranty of
14
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15
* GNU General Public License for more details.
17
* You should have received a copy of the GNU General Public License along
18
* with this program; if not, write to the Free Software Foundation, Inc.,
19
* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
25
#define gui_loop() while (gtk_events_pending()) {gtk_main_iteration();}
32
gboolean show_tooltips;
50
typedef void (*GdbUiLineFunc) (const gchar * filename, const gchar * line, const gchar * reason);
51
typedef LocationInfo *(*GdbUiLocationFunc) ();
52
typedef void (*GdbUiOptsFunc) ();
58
GtkWidget *main_window;
61
GdbUiOptsFunc opts_func;
62
GdbUiLineFunc line_func;
63
GdbUiLocationFunc location_query;
67
extern GdbUiSetup gdbui_setup;
70
GtkWidget *gdbui_create_widgets(GtkWidget * parent);
71
void gdbui_set_tip(GtkWidget * w, gchar * tip);
72
void gdbui_set_tips(GtkTooltips * tips);
73
void gdbui_enable(gboolean enabled);
75
GtkWidget *gdbui_new_dialog(gchar * title);
77
void gdbui_opts_init();
78
void gdbui_opts_done();
80
void gdbui_opts_dlg();
82
void gdbui_stack_dlg(const GSList * frame_list);
83
void gdbui_break_dlg(gboolean is_watch);
84
void gdbui_env_dlg(const GdbEnvironInfo * env);
86
LocationInfo *gdbui_location_dlg(gchar * title, gboolean is_watch);
87
void gdbui_free_location_info(LocationInfo * li);