julia
Fix bug in TerminalMenus when pagesize is larger than the number of options.
#48173

Merged

Fix bug in TerminalMenus when pagesize is larger than the number of options. #48173

vtjnash merged 1 commit into JuliaLang:master from GunnarFarneback:terminalmenus_larger_pagesize

Fix bug in TerminalMenus when pagesize is larger than the number of o…

448c33f4

timholy approved these changes on 2023-01-08

timholy added merge me

vtjnash merged a229fbdb into master 3 years ago

giordano removed merge me

GunnarFarneback deleted the terminalmenus_larger_pagesize branch 1 year ago

Reviewers

timholy

Assignees

No one assigned

Labels

None yet

Milestone

No milestone