fix ruler scaling -- #7226
authorRobin Gareus <robin@gareus.org>
Fri, 5 May 2017 11:58:59 +0000 (13:58 +0200)
committerRobin Gareus <robin@gareus.org>
Fri, 5 May 2017 12:00:30 +0000 (14:00 +0200)
commit8335155863b39cb54e5241a53c3686e667e65450
treed453b21a4fe0ed840798b6242f1d3c680bfd2f58
parenta3c70696b67d746155d6d139c9de418a74c1cf37
fix ruler scaling -- #7226
gtk2_ardour/editor.cc