Closed inkarkat closed 10 years ago
So if you know you want to increase the font size by 8, you can just use 8<Leader><Leader>+ instead of repeating + 7 more times.
8<Leader><Leader>+
+
Thanks very much for the idea and the code, Ingo; I've incorporated it as version 0.3.3.
Thanks, and keep up the good work!
So if you know you want to increase the font size by 8, you can just use
8<Leader><Leader>+
instead of repeating+
7 more times.