Gonçalo Silva ddcf76df47 Set text view padding in Python instead of CSS ... Otherwise scrolling calculations will be slightly offset, as the CSS padding is added *on top* of any other margin.		2019-04-21 01:50:49 +01:00
..
gtk	Set text view padding in Python instead of CSS	2019-04-21 01:50:49 +01:00
web	Split gtk and web CSS into separate directories	2019-04-21 01:50:49 +01:00