Repository navigation

Handle empty content in numbered margins - #2130

Open

FanWu-ai wants to merge 1 commit into

prompt-toolkit:mainfrom

FanWu-ai:fix-numbered-margin-empty-content

Open

Handle empty content in numbered margins#2130
FanWu-ai wants to merge 1 commit into
prompt-toolkit:mainfrom
FanWu-ai:fix-numbered-margin-empty-content

Commits on Oct 9, 2026
- Handle empty content when rendering numbered margins
  FanWu-ai
  committed
  08687da