This extension allows you to type Lean unicode characters on your browser
similarly to programming environments.
Might be particularly useful on Zulip and GitHub.
- Clone this repository
- Visit chrome://extensions/
- Switch to
- Click on
Load unpacked extensionand select the cloned directory
- Optional (recommended): pin the extension in your browser
You can see the extension settings popup by clicking on its icon.
With the settings above, whenever you type in
\a and then hit space, the
extension will replace
This behavior is only triggered in pages whose URLs start with the strings
listed in the
URL matches field.
ON by default option allows you to configure the extension to be active
or inactive when you visit those pages.
ALT twice switches the extension state between active and inactive.
You should see the extension icon changing colors if you’re visiting a page
listed in the URLs field.