From 7a7b58340d75c6c81e28a2365694faa992df4242 Mon Sep 17 00:00:00 2001
From: Dirk Hohndel <dirk@hohndel.org>
Date: Tue, 4 Oct 2011 16:06:27 -0700
Subject: [PATCH] Shorten the tooltip timeout

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
---
 gtk-gui.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gtk-gui.c b/gtk-gui.c
index 1419e2d..d6ab412 100644
--- a/gtk-gui.c
+++ b/gtk-gui.c
@@ -588,11 +588,14 @@ void init_ui(int argc, char **argv)
 	GtkWidget *equipment;
 	GtkWidget *menubar;
 	GtkWidget *vbox;
+	GtkSettings *settings;
 	static const GtkTargetEntry notebook_target = {
 		"GTK_NOTEBOOK_TAB", GTK_TARGET_SAME_APP, 0
 	};
 
 	gtk_init(&argc, &argv);
+	settings = gtk_settings_get_default();
+	gtk_settings_set_long_property(settings, "gtk_tooltip_timeout", 10, "subsurface setting");
 
 	g_type_init();
 	gconf = gconf_client_get_default();
-- 
2.45.2