redraw playhead only if pixel position changed. 4.0-rc3
authorRobin Gareus <robin@gareus.org>
Wed, 8 Apr 2015 10:31:44 +0000 (12:31 +0200)
committerRobin Gareus <robin@gareus.org>
Wed, 8 Apr 2015 10:31:44 +0000 (12:31 +0200)
commit85e701880b125fc866a88236bf5bf971eaebf91b
tree1d445a9fafb505895b3bf6879df2696f236d3245
parent70a493d51008e6f4a85965e6931417e8204b9620
redraw playhead only if pixel position changed.
gtk2_ardour/editor_cursors.cc