-
Matthias Clasen authored
In lieu of more sophisticated alignment, we need to at least center the arrow allocation wrt to the label.
0acc6578
In lieu of more sophisticated alignment, we need to at least center the arrow allocation wrt to the label.