diff options
author | Vincent Sanders <vince@netsurf-browser.org> | 2013-10-25 15:44:52 +0100 |
---|---|---|
committer | Vincent Sanders <vince@netsurf-browser.org> | 2013-10-25 15:44:52 +0100 |
commit | 2962faed63f4d4520ff34045859420b96b67d5ae (patch) | |
tree | 9647d960fe83e67b532b5d4c3fea423f273eea33 /gtk/tabs.h | |
parent | 1cf0125f2dc49363f6fd94e8462bbdcbbd5e8669 (diff) | |
download | netsurf-2962faed63f4d4520ff34045859420b96b67d5ae.tar.gz netsurf-2962faed63f4d4520ff34045859420b96b67d5ae.tar.bz2 |
fix gtk title setting to cope with null titles coverity 1109897
Diffstat (limited to 'gtk/tabs.h')
-rw-r--r-- | gtk/tabs.h | 9 |
1 files changed, 9 insertions, 0 deletions
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); |