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

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