MarginWidget: Moved in clear_selection
authorJoel Holdsworth <joel@airwebreathe.org.uk>
Sun, 21 Dec 2014 13:41:28 +0000 (13:41 +0000)
committerJoel Holdsworth <joel@airwebreathe.org.uk>
Mon, 29 Dec 2014 11:56:00 +0000 (11:56 +0000)
commit5a6a4ce3e32a250cd586f4755573ed3bed530d7b
treefe949adc0c4f12d2367f8f4e278a37188a5ea6b7
parent2155b66bed9f0802caec0b1e86f7f03d317a3e83
MarginWidget: Moved in clear_selection
pv/view/header.cpp
pv/view/header.hpp
pv/view/marginwidget.cpp
pv/view/marginwidget.hpp
pv/view/ruler.cpp
pv/view/ruler.hpp