if (! have_set_width) {
if (! have_set_height) {
void defconfig(vWindow win) {    if (have_set_width && have_set_height) {	return;    }    Rectangle r = this.getBounds();    if (! have_set_width) {	r.width = 80 * win.Fwidth();    }    if (! have_set_width) {	r.height = 12 * win.Leading();    }    resize(win, r.width, r.height);}