[patch] cursor blink

[Richard Heck]

Attached. Pavel, if it works for you, go ahead and commit.

It should probably also go to branch. OK, Jurgen?

rh


Index: frontends/qt4/GuiWorkArea.cpp
===================================================================
--- frontends/qt4/GuiWorkArea.cpp	(revision 22743)
+++ frontends/qt4/GuiWorkArea.cpp	(working copy)
@@ -197,7 +197,7 @@
 {
 	buffer.workAreaManager().add(this);
 	// Setup the signals
-	cursor_timeout_.setInterval(400);
+	cursor_timeout_.setInterval(QApplication::cursorFlashTime() / 2);
 	connect(&cursor_timeout_, SIGNAL(timeout()),
 		this, SLOT(toggleCursor()));