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::setFooterVisible(bool visible) { visible |= Preferences::instance().alwaysShowFooter(); int footer_visible = visible * -m_footer_margin; if (m_footer_visible != footer_visible) { emit footerVisible(visible); m_footer_visible = footer_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)); }