automatic margins for long labels#2243
Merged
nicolaskruchten merged 22 commits intomasterfrom label_automarginMar 2, 2018
+339-42
Commits
Commits on Jan 10, 2018
Commits on Jan 22, 2018
Commits on Jan 29, 2018
Commits on Jan 30, 2018
Commits on Jan 31, 2018
Commits on Feb 1, 2018
Commits on Feb 27, 2018
Commits on Feb 28, 2018
- committed