2014-12-13-14.38.49: src/lib/x-kit/widget/leaf/*button*:  Tidying.