diff options
| author | Robin Gareus <robin@gareus.org> | 2017-05-05 13:58:59 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2017-05-05 14:00:30 +0200 |
| commit | 8335155863b39cb54e5241a53c3686e667e65450 (patch) | |
| tree | d453b21a4fe0ed840798b6242f1d3c680bfd2f58 /libs/gtkmm2ext/gtk_ui.cc | |
| parent | a3c70696b67d746155d6d139c9de418a74c1cf37 (diff) | |
fix ruler scaling -- #7226
Diffstat (limited to 'libs/gtkmm2ext/gtk_ui.cc')
0 files changed, 0 insertions, 0 deletions