Skip to content
Prev Previous commit
Fix extra blank line when right prompt displayed.
  • Loading branch information
Bob Hyman committed Oct 2, 2020
commit c53c62c760fe1d04cbdf661cdad47666ce892a91
3 changes: 3 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -47,3 +47,6 @@ docs/_build

# vscode settings
.vscode/

# virtual environment
.venv/
2 changes: 1 addition & 1 deletion prompt_toolkit/layout/containers.py
Original file line number Diff line number Diff line change
Expand Up @@ -815,7 +815,7 @@ def preferred_height(self, width: int, max_available_height: int) -> Dimension:
),
self.floats_min_preferred_height() or 0,
)
ph.preferred += floats_ph
ph.preferred = max(ph.preferred, floats_ph)
return ph

def write_to_screen(
Expand Down
2 changes: 1 addition & 1 deletion prompt_toolkit/shortcuts/prompt.py
Original file line number Diff line number Diff line change
Expand Up @@ -697,7 +697,7 @@ def get_reserve_space_for_menu() -> int:
),
right=0,
top=0, # right prompt floats to *top* of prompt.
hide_when_covering_content=True,
hide_when_covering_content=False, # and should overright main prompt when so.
),
],
floats_min_preferred_height=get_reserve_space_for_menu,
Expand Down