static void addToWindowSplitRight_aggressive(Component c, Component toAdd) {
  addToWindowSplitRight_f(c, toAdd, func(JComponent c) { jMinWidth_pure(100, c) });
}