2014-07-29-21.51.57: src/lib/x-kit/widget/leaf/arrowbutton.pkg: Minor tidying.