Skip to content

Support user notes#33

Merged
vsimon merged 4 commits into
mainfrom
notes
May 5, 2026
Merged

Support user notes#33
vsimon merged 4 commits into
mainfrom
notes

Conversation

@vsimon
Copy link
Copy Markdown
Owner

@vsimon vsimon commented May 5, 2026

  • feat: add UserNote field to SettingDef, wire function-keys
  • feat: render UserNote entries in PrintAudit with faint color
  • docs: document # prefix convention for faint note rendering in PrintAudit
  • feat: pass UserNote map to PrintAudit in apply command

@vsimon vsimon changed the title notes Support user notes May 5, 2026
@vsimon vsimon merged commit e1f26ff into main May 5, 2026
2 checks passed
@vsimon vsimon deleted the notes branch May 5, 2026 05:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant