From: Dirk Hohndel <dirk@hohndel.org>
Date: Tue, 4 Oct 2011 23:06:27 +0000 (-0700)
Subject: Shorten the tooltip timeout
X-Git-Url: http://git.tdb.fi/?a=commitdiff_plain;h=7a7b58340d75c6c81e28a2365694faa992df4242;p=ext%2Fsubsurface.git

Shorten the tooltip timeout

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
---

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();