2014-07-30-22.40.55: src/lib/x-kit/widget/leaf/arrowbutton.pkg:  Option:  Add PIXELS_HIGH_MIN etc, process_options(), logic to pass processed options to widget-imp.pkg.