⚡ New Micro plugin: dynamically reload the editor. #4203
usfbih8u
started this conversation in
Show and tell
Replies: 1 comment
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
Micro USR1 Reload a new Micro plugin that reloads the editor when signaled externally. Useful for changing the colorscheme across multiple instances.
All reactions