-
Jens Bache-Wiig authored
Details: This ensures that the manhattan button arrow does not depend on the menubutton indicator size, which it should not.
2ec448d1
Details: This ensures that the manhattan button arrow does not depend on the menubutton indicator size, which it should not.