Method mouseMoveEvent

app/src/DataModel/Editors/OutputCodeEditor.cpp:602–614

@brief Forwards mouse-move events to the backing widget after offsetting for the line-number * gutter. */

/** @brief Forwards mouse-move events to the backing widget after offsetting for the line-number
 * gutter. */
void DataModel::OutputCodeEditor::mouseMoveEvent(QMouseEvent* event)
{
  const auto lineNumWidth = m_widget.lineNumberArea()->sizeHint().width();
  QMouseEvent copy(event->type(),
                   event->position() - QPointF(lineNumWidth, 0),
                   event->globalPosition(),
                   event->button(),
                   event->buttons(),
                   event->modifiers(),
                   event->pointingDevice());
  QCoreApplication::sendEvent(m_widget.viewport(), &copy);
  renderWidget();
}

/** @brief Forwards mouse-release events to the backing widget after offsetting for the line-number
 * gutter. */