void ViewWidget::keyReleaseEvent(QKeyEvent *event)
{
// Update mouse_modifiers_ also if modifiers change, but pointer doesn't move
void ViewWidget::keyReleaseEvent(QKeyEvent *event)
{
// Update mouse_modifiers_ also if modifiers change, but pointer doesn't move