gui_toolkit 0.106.0

Added

• Content that fades out at its edges: draw.mask_edge_fade draws the mask of a push_mask that fades the content to transparent over given widths at the left, top, right and bottom edges; ui.next({edge_fade = ...}) gives it to a box that clips, so that a list that scrolls fades out where it goes on instead of ending in a straight cut.