2014-08-25-13.33.10: src/lib/x-kit/widget/theme/gui-displaylist.pkg:  Added  find_all_points_in_gui_displaylist().