From 2962faed63f4d4520ff34045859420b96b67d5ae Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Fri, 25 Oct 2013 15:44:52 +0100 Subject: fix gtk title setting to cope with null titles coverity 1109897 --- gtk/tabs.h | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'gtk/tabs.h') diff --git a/gtk/tabs.h b/gtk/tabs.h index 959799edd..caa683e40 100644 --- a/gtk/tabs.h +++ b/gtk/tabs.h @@ -23,6 +23,15 @@ struct gui_window; void nsgtk_tab_init(struct gtk_scaffolding *gs); void nsgtk_tab_add(struct gui_window *window, GtkWidget *tab_contents, bool background); + +/** set the tab title + * + * The tab title will be set to the parameter + * + * @note currently only called from gui_window_set_title() + * @param g the gui window to set tab title for. + * @param title The title text which may not be NULL. + */ void nsgtk_tab_set_title(struct gui_window *g, const char *title); void nsgtk_tab_options_changed(GtkNotebook *notebook); nserror nsgtk_tab_close_current(GtkNotebook *notebook); -- cgit v1.2.3