svoid setIconifiable(JInternalFrame f, bool b) {
  if (f != null) swing { f.setIconifiable(b); }
}