changeset 25962:12ad5eb2328e

Call the document browser copy on clipboard signal (Bug #54879) * libgui/src/documentation.cc (documentation::copyClipboard): call m_doc_browser->copy() if have focus
author John Donoghue
date Wed, 24 Oct 2018 10:49:16 -0400
parents f7b205562f1d
children 69050723c9bd
files libgui/src/documentation.cc
diffstat 1 files changed, 7 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/libgui/src/documentation.cc	Mon Oct 22 16:34:06 2018 +0200
+++ b/libgui/src/documentation.cc	Wed Oct 24 10:49:16 2018 -0400
@@ -374,7 +374,13 @@
     shortcut_manager::shortcut (m_findprev_shortcut, "editor_edit:find_previous");
   }
 
-  void documentation::copyClipboard (void) { }
+  void documentation::copyClipboard (void)
+  {
+    if (m_doc_browser->hasFocus ())
+      {
+        m_doc_browser->copy();
+      }
+  }
 
   void documentation::pasteClipboard (void) { }