Got a small idea and wrote code for GUI: vertical and horizontal splitters.
Hey @zep, do you have any guidelines for GUI code? Right now those are piggy-backing the GUI lib's ability of regenerating a widget's dimensions with width_rel and height_rel. Do you have anything in mind regarding their usage? Do you think I should I offer an explicit way for the inner children to override the dimension assignment?
