This repository has been archived on 2024-08-19. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Mario Vavti 0bfda6d4c8 revert padding for text highlight. It is messing with indent punctuation and decreases legibility of the highlighted text. ...

(cherry picked from commit fac3579fb0)

2018-12-22 20:18:12 +01:00

..

redbasic

revert padding for text highlight. It is messing with indent punctuation and decreases legibility of the highlighted text.

2018-12-22 20:18:12 +01:00