diff options
Diffstat (limited to 'lib/ephy-gui.h')
| -rw-r--r-- | lib/ephy-gui.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/ephy-gui.h b/lib/ephy-gui.h index 089587b49..7b76cf247 100644 --- a/lib/ephy-gui.h +++ b/lib/ephy-gui.h @@ -74,6 +74,11 @@ void ephy_gui_help (GtkWindow *parent, const char *file_name, const char *link_id); +void ephy_gui_help_with_doc_id (GtkWindow *parent, + const char *doc_id, + const char *file_name, + const char *link_id); + void ephy_gui_window_update_user_time (GtkWidget *window, guint32 user_time); |