Method mouseMoveEvent

app/src/DataModel/Editors/JsCodeEditor.cpp:729–741

@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::JsCodeEditor::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. */