MarginWidget: Moved in leaveEvent
authorJoel Holdsworth <joel@airwebreathe.org.uk>
Sun, 21 Dec 2014 11:07:53 +0000 (11:07 +0000)
committerJoel Holdsworth <joel@airwebreathe.org.uk>
Mon, 29 Dec 2014 11:56:00 +0000 (11:56 +0000)
commit19552bb8dff1708939544beecb448bcc91f46644
tree79337a3a752f3a3c3a5f4cea1810cd560f81d400
parentf052f9cde47e2c4ab8fd189eb2dc4e85adaf491d
MarginWidget: Moved in leaveEvent
pv/view/header.cpp
pv/view/header.hpp
pv/view/marginwidget.cpp
pv/view/marginwidget.hpp
pv/view/ruler.cpp
pv/view/ruler.hpp