@FPtje
FPtje Added label highlighting
Fixes #47
Latest commit ef373c0 Dec 26, 2019