ui: Fix copy shortcut for selected code broken #943

fixes #940
This commit is contained in:
Eberhard Gräther
2020-03-23 18:10:21 +01:00
committed by GitHub
parent 38925292b7
commit eaa263be44
12 changed files with 56 additions and 0 deletions
@@ -44,6 +44,8 @@ public:
virtual void moveFocus(
const CodeFocusHandler::Focus& focus, CodeFocusHandler::Direction direction) = 0;
virtual void copySelection() = 0;
protected:
void ensureWidgetVisibleAnimated(
const QWidget* parentWidget,