Fix #770 by adding a vertical hover line and a setting for it
authorSoeren Apel <soeren@apelpie.net>
Tue, 5 Jun 2018 21:11:03 +0000 (23:11 +0200)
committerUwe Hermann <uwe@hermann-uwe.de>
Tue, 5 Jun 2018 23:10:32 +0000 (01:10 +0200)

No differences found