PR #60076 Term hist UI tweaks

Term hist UI tweaks #60076

fingolfin merged 3 commits into JuliaLang:master from tecosaur:term-hist-ui-tweaks

tecosaur added REPL

tecosaur added display and printing

tecosaur added stdlib

tecosaur added don't squash

tecosaur marked this pull request as ready for review 107 days ago

tecosaur added backport 1.13

tecosaur force pushed from 39bbce54 to 89311e50 107 days ago

tecosaur force pushed from 89311e50 to a567ecfd 107 days ago

tecosaur force pushed from a567ecfd to 92642931 107 days ago

Fix string indexing with repl history filters

8f0f822e

Retire > history search mode in favour of prefix>

e1174132

Fix ;-escaping in the final history search segment

34bbe85f

tecosaur force pushed from 92642931 to 34bbe85f 107 days ago

fingolfin approved these changes on 2025-11-07

fingolfin merged 41e50a77 into master 101 days ago

Reviewers

fingolfin

Assignees

No one assigned

Labels

REPL display and printing stdlib don't squash backport 1.13

Milestone

No milestone