Skip to content

Stepper: add a fixed-text hover popover capability to SyntaxProfile - #92

Merged
martin-henz merged 2 commits into
mainfrom
stepper-builtin-hover-popup
Aug 6, 2026
Merged

Stepper: add a fixed-text hover popover capability to SyntaxProfile#92
martin-henz merged 2 commits into
mainfrom
stepper-builtin-hover-popup

Apply hoverText regardless of the function-value mu-term branch

32b2d3a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar