Fix #1222 by adding a tooltip for when there isn't enough space
authorSoeren Apel <soeren@apelpie.net>
Fri, 19 Oct 2018 21:36:13 +0000 (23:36 +0200)
committerSoeren Apel <soeren@apelpie.net>
Sat, 20 Oct 2018 11:19:00 +0000 (13:19 +0200)
Also fixes #870 by always using 12 digits for precision


No differences found