zc he

Long history hint makes prompt invisible

1

**Platform** macOS **Terminal software** ghostty Describe the problem you are observing ## Steps to reproduce 1. paste the following to the REPL ```nushell { " " " " " "...

feat: new `ReedlineEvent::PartialComplete` event

2

Move the partial completion logic from the handling of `ReedlineEvent::MenuNext`, so that we can fix https://github.com/nushell/nushell/issues/14152 while keeping the following behavior. > When the only valid options are say `foo`...

Unnecessary completion request when updating the common prefix to the command line.

3

From https://github.com/nushell/nushell/issues/16860, we can tell that there's something to optimize. ## Steps to reproduce ```nushell def completion [] { ['"first item"' '"second item"'] } export def foo [c: string@completion] {...

Fixes #386

https://github.com/avigad/mathematics_in_lean_source/blob/8baa112dcb882785255fdcb6aee4cac88a0c4925/MIL/C07_Structures/S02_Algebraic_Structures.lean#L628 The link of https://leanprover.github.io/theorem_proving_in_lean4/type_classes.html#managing-type-class-inference is invalid now, should be replaced with https://leanprover.github.io/theorem_proving_in_lean4/Type-Classes/#managing-type-class-inference