Paint the splitter without the change lines if the mouse is over the splitter

This commit is contained in:
Kovid Goyal 2014-01-30 13:31:14 +05:30
parent 801d90028a
commit eb4a6f89fe

View File

@ -429,6 +429,11 @@ class DiffSplitHandle(QSplitterHandle): # {{{
WIDTH = 30 # px WIDTH = 30 # px
wheel_event = pyqtSignal(object) wheel_event = pyqtSignal(object)
def event(self, ev):
if ev.type() in (ev.HoverEnter, ev.HoverLeave):
self.hover = ev.type() == ev.HoverEnter
return QSplitterHandle.event(self, ev)
def paintEvent(self, event): def paintEvent(self, event):
QSplitterHandle.paintEvent(self, event) QSplitterHandle.paintEvent(self, event)
left, right = self.parent().left, self.parent().right left, right = self.parent().left, self.parent().right
@ -508,6 +513,10 @@ class DiffSplitHandle(QSplitterHandle): # {{{
painter.drawPath(line) painter.drawPath(line)
painter.end() painter.end()
# Paint the splitter without the change lines if the mouse is over the
# splitter
if getattr(self, 'hover', False):
QSplitterHandle.paintEvent(self, event)
def sizeHint(self): def sizeHint(self):
ans = QSplitterHandle.sizeHint(self) ans = QSplitterHandle.sizeHint(self)