Fix wrong ruler scale after loading a file