correctly resize editor window to be in sync with the mini map

[micropolis] / src / tclx / ucbsrc / tclexpr.sed

/           sprintf(interp->result, "%g", value.doubleValue);/c\
            Tcl_ReturnDouble (interp, value.doubleValue);