void Document::mouseMoveEvent(QMouseEvent* event) { m_text->viewport()->setCursor(Qt::IBeamCursor); unsetCursor(); m_hide_timer->start(); const QPoint& point = mapFromGlobal(event->globalPos()); if (rect().contains(point)) { emit headerVisible(false); emit footerVisible(false); // QTextCursor curse=m_text->cursorForPosition(point); // if(curse.charFormat().background()!=Qt::NoBrush&&curse.charFormat().background()!=curse.blockFormat().background()&&curse.charFormat().hasProperty(QTextFormat::UserProperty)) // { // QString prop=curse.charFormat().stringProperty(QTextFormat::UserProperty); // if(m_text->toolTip()!=prop) // m_text->setToolTip(prop); // } // else if(m_text->toolTip().length()>0) // m_text->setToolTip(""); } int margin = m_scrollbar->sizeHint().width(); m_scrollbar->setVisible(!QApplication::isRightToLeft() ? (point.x() >= (width() - margin)) : (point.x() <= margin)); }
void Stack::setHeaderVisible(bool visible) { visible |= Preferences::instance().alwaysShowHeader(); int header_visible = visible * m_header_margin; if (m_header_visible != header_visible) { emit headerVisible(visible); m_header_visible = header_visible; updateMask(); } }
void Document::mouseMoveEvent(QMouseEvent* event) { m_text->viewport()->setCursor(Qt::IBeamCursor); unsetCursor(); m_hide_timer->start(); const QPoint& point = mapFromGlobal(event->globalPos()); if (rect().contains(point)) { emit headerVisible(false); emit footerVisible(false); } setScrollBarVisible(m_scrollbar->rect().contains(m_scrollbar->mapFromGlobal(event->globalPos()))); }
void Document::mouseMoveEvent(QMouseEvent* event) { m_text->viewport()->setCursor(Qt::IBeamCursor); unsetCursor(); m_hide_timer->start(); const QPoint& point = mapFromGlobal(event->globalPos()); if (rect().contains(point)) { emit headerVisible(false); emit footerVisible(false); } int margin = m_scrollbar->sizeHint().width(); m_scrollbar->setVisible(!QApplication::isRightToLeft() ? (point.x() >= (width() - margin)) : (point.x() <= margin)); }