Use the cached value GuiSelection::selection_supported_

That's where it is for.

diff --git a/src/frontends/qt4/GuiSelection.cpp b/src/frontends/qt4/GuiSelection.cpp
index 362da4aba54d1c9c074c19ca974aa6fd3fdc3721..fef258c326a4dc89434e6991babcde79d2f5f64e 100644 (file)
--- 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.