fix edge-case: (move playhead w/o session)
authorRobin Gareus <robin@gareus.org>
Thu, 22 Oct 2015 12:14:27 +0000 (14:14 +0200)
committerRobin Gareus <robin@gareus.org>
Thu, 22 Oct 2015 12:14:27 +0000 (14:14 +0200)
commitd04c16e9272c036b76d35ce8f5ea8786817ccb87
tree198dee1ac1762c9ac61c1e3400e4c026937f463d
parent5bdc869e498d13cfa7dbd004ae41e6524fc94029
fix edge-case: (move playhead w/o session)
gtk2_ardour/editor_ops.cc