Repository navigation

Scripting terminal: error tooltip, scrollbar and JEI polish - #98

Merged

rubensworks merged 6 commits into

master-1.21-ltsfrom

terminal-ux-clean/12-editor-polish

Oct 20, 2026

Merged

Scripting terminal: error tooltip, scrollbar and JEI polish#98
rubensworks merged 6 commits into
master-1.21-ltsfrom
terminal-ux-clean/12-editor-polish

Commits on Oct 19, 2026
- Show syntax error tooltips below their line, pointing at the error
  claude
  committed
  0c8cd80
- Make the script editor scrollbar narrower
  claude
  committed
  9508b99
- Show syntax errors when hovering their scrollbar mark
  claude
  committed
  59bbc1e
- Hide JEI in the focus mode of the scripting terminal
  claude
  committed
  accc4fe
- Keep JEI's buttons clear of the focus mode editor
  claude
  committed
  0a2a0f2
Commits on Oct 20, 2026
- Merge branch 'terminal-ux-clean/11-completion' into terminal-ux-clean/12-editor-polish
  claude
  committed
  7caad76