Method mouseReleaseEvent

app/src/DataModel/Editors/JsCodeEditor.cpp:745–757

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

/** @brief Forwards mouse-release events to the backing widget after offsetting for the line-number
 * gutter. */
void DataModel::JsCodeEditor::mouseReleaseEvent(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 double-click events to the backing widget after offsetting for the line-number
 * gutter. */