July 1, 2019, 9:37 a.m. -  Mario

Danke für den Tipp, ich arbeite seit über 10 Jahren fast täglich mit vim und kannte das noch nicht.