font-default

Makes Reset font size (⌘0) land on your font size instead of Tern's compiled-in factory default.

Tern's reset_font_size snaps to the factory value regardless of what font_size says in settings.json (that value is startup-only). This plugin overrides the command to run the built-in reset, then steps down once — factory default minus 1.

Install

tern plugin install github.com/getpipher/font-default

or, for development (hot-reload on save):

git clone https://github.com/getpipher/font-default
tern plugin link font-default

Requires Tern (closed beta).

Notes

• If Tern's factory default ever changes, adjust the number of decrease_font_size steps in window.luau.
• Remove anytime: tern plugin unlink font-default.