svoid minWindowWidth(Window window, int w) {
  if (window != null) swing {
    if (window.getWidth() < w)
      window.setSize(w, window.getHeight());
  }
}