Skip to content

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

Handle empty content when rendering numbered margins

08687da
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs