GlobalSettings: Enable mouse hover marker by default
authorSoeren Apel <soeren@apelpie.net>
Sat, 13 Oct 2018 19:18:28 +0000 (21:18 +0200)
committerSoeren Apel <soeren@apelpie.net>
Sat, 13 Oct 2018 19:49:17 +0000 (21:49 +0200)

No differences found