From 847d1fb2f5829d1a4bb1302b6a9555265796ada9 Mon Sep 17 00:00:00 2001
From: Vincent van Ravesteijn <vfr@lyx.org>
Date: Tue, 29 Apr 2014 15:17:07 +0200
Subject: [PATCH] Use the cached value GuiSelection::selection_supported_

That's where it is for.
---
 src/frontends/qt4/GuiSelection.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/frontends/qt4/GuiSelection.cpp b/src/frontends/qt4/GuiSelection.cpp
index 362da4aba5..fef258c326 100644
--- a/src/frontends/qt4/GuiSelection.cpp
+++ b/src/frontends/qt4/GuiSelection.cpp
@@ -39,7 +39,7 @@ GuiSelection::GuiSelection()
 
 void GuiSelection::haveSelection(bool own)
 {
-	if (!qApp->clipboard()->supportsSelection())
+	if (!selection_supported_)
 		return;
 
 	// Tell qt that we have a selection by setting a dummy selection.