🥳 Release #3: HTML Entities!
This release now supports all major HTML entities as well as Agda shortcodes
Also, some context buttons:
- A button to find out more about a given unicode character
- A button to copy the codepoint of a character
And better error handling, which should prevent a few edge cases from causing issues with the plugin
Manual Installation:
- Close PowerToys
- Locate your plugin installation folder: for me, this was ~\AppData\Local\Microsoft\PowerToys\PowerToys Run\Plugins
- Download the latest release from the sidebar (TODO: These don't exist yet, sorry)
- Extract this folder into the plugins folder
- due to an error on my part for this specifiic release, the folder inside the zip is called 'Release' - you'll want to rename this to 'UnicodeInput'
- Open PowerToys, and enable the plugin!
- 🥳
Full Changelog: v0.5.5...v0.6.1