svoid revalidateIncludingFullCenterContainer(Component c) {
  if (c == null) ret;
  swing {
    c.revalidate();
    var parent = c.getParent();
    if (parent != null && parent.getLayout() instanceof GridBagLayout)
      parent.invalidate();
  }
}