https://gitlab-beta.engr.illinois.edu/babysrl-group/jubilee/blob/master/src/jubilee/toolkit/JBFramesetPanel.java#L160