Returns a LayoutChange with the information necessary to expand a frame touching a window edge by a given amount.
Changes can be applied to a window with applyFrameChanges.
It expands the frame by redistributing space from neighboring frames.
Returns a LayoutChange with the information necessary to expand a frame touching a window edge by a given amount.
Changes can be applied to a window with applyFrameChanges.
It expands the frame by redistributing space from neighboring frames.