diff options
| author | Timm Bäder <mail@baedert.org> | 2019-01-18 08:27:28 +0100 |
|---|---|---|
| committer | Timm Bäder <mail@baedert.org> | 2019-01-18 19:43:50 +0100 |
| commit | 0e07912231bde81d874ee74003ef1dc049840296 (patch) | |
| tree | 47f7426a9245433addb338f2b012f82d0ddd4cbc /gtk/gtktooltipprivate.h | |
| parent | c49cc977fa53d148bda6768bfd1b7c0c34774d19 (diff) | |
| download | gtk+-0e07912231bde81d874ee74003ef1dc049840296.tar.gz | |
tooltips: Remove keyboard mode tooltips
Keyboard mode was only used in gtk_widget_real_show_help before, but now
that's gone and so is any usage of keyboard mode tooltips.
Diffstat (limited to 'gtk/gtktooltipprivate.h')
| -rw-r--r-- | gtk/gtktooltipprivate.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/gtk/gtktooltipprivate.h b/gtk/gtktooltipprivate.h index 682da12ab6..5427820189 100644 --- a/gtk/gtktooltipprivate.h +++ b/gtk/gtktooltipprivate.h @@ -31,9 +31,6 @@ G_BEGIN_DECLS -void _gtk_tooltip_focus_in (GtkWidget *widget); -void _gtk_tooltip_focus_out (GtkWidget *widget); -void _gtk_tooltip_toggle_keyboard_mode (GtkWidget *widget); void _gtk_tooltip_handle_event (GdkEvent *event); void _gtk_tooltip_hide (GtkWidget *widget); |