MarginWidget::MarginWidget(View &parent) :
QWidget(&parent),
- view_(parent)
+ view_(parent),
+ dragging_(false)
{
setAttribute(Qt::WA_NoSystemBackground, true);
+ setFocusPolicy(Qt::ClickFocus);
+ setMouseTracking(true);
}
void MarginWidget::clear_selection()