void CBExecOutputDocument::PlaceCmdLineWidgets() { JXWindow* window = GetWindow(); JXWidget::HSizingOption hSizing; JXWidget::VSizingOption vSizing; const JRect fileRect = GetFileDisplayInfo(&hSizing, &vSizing); itsCmdPrompt->Place(fileRect.left, fileRect.top); itsCmdPrompt->AdjustSize(0, fileRect.height() - itsCmdPrompt->GetFrameHeight()); const JCoordinate promptWidth = itsCmdPrompt->GetFrameWidth(); const JCoordinate eofWidth = itsEOFButton->GetFont().GetStringWidth(itsEOFButton->GetLabel()) + 2 * itsEOFButton->GetPadding().x + 2 * itsEOFButton->GetBorderWidth(); itsCmdInput->Place(fileRect.left + promptWidth, fileRect.top); JCoordinate cmdInputWidth = fileRect.width() - promptWidth - eofWidth; if (cmdInputWidth < kMinCmdInputWidth) { window->AdjustSize(kMinCmdInputWidth - cmdInputWidth, 0); cmdInputWidth = kMinCmdInputWidth; } itsCmdInput->SetSize(cmdInputWidth, fileRect.height()); const JPoint p = window->GetMinSize(); window->SetMinSize(window->GetFrameWidth() - (cmdInputWidth - kMinCmdInputWidth), p.y); itsEOFButton->Place(fileRect.right - eofWidth, fileRect.top); itsEOFButton->SetSize(eofWidth, fileRect.height()); UpdateButtons(); }