// f modifies original content pane
// f: Component -> Component
static void addToWindowSplitRight_f(Component c, Component toAdd, O f) {
  JFrame frame = getFrame(c);
  frame.setContentPane(jhsplit((Component) callF(f, frame.getContentPane()), toAdd));
  revalidate(frame);
}