-
Adam Barth authored
If there's no leading widget, we just want 8.0 pixels of padding instead of all the padding to get over to the 72.0 pixel key line. Fixes #2912
5c5948bb
| Name |
Last commit
|
Last update |
|---|---|---|
| bin | ||
| dev | ||
| doc | ||
| examples | ||
| infra | ||
| packages | ||
| travis | ||
| .travis.yml | ||
| AUTHORS | ||
| CONTRIBUTING.md | ||
| ISSUE_TEMPLATE.md | ||
| LICENSE | ||
| README.md |