Browser extension for quick copy'n'paste of miscellaneous characters
(Psst! See the accompanying presentation about browser extension development! 👍)
Contents:
(For now, only as a temporary extension)
Firefox:
- Go to
about:debugging#/runtime/this-firefox
- Click on Load Temporary Add-on…
- Select the manifest (
dist/firefox/manifest.json
)
Chrom*:
- Go to
chrome://extensions/
- Click on Developer mode
- Click on Load unpacked
- Select the directory (
dist/chrome/
)
Bring up the glyphs pop-up by either:
Then, on the glyphs pop-up, find the symbol you need, double-click it to select, and copy it to the clipboard.
Press either Esc
or ↵
to close the pop-up, and paste the glyph wherever needed.
NB: this is not the intended final behaviour: usage will be seamless when we implement the ability to move around the glyphs
using the cursor keys, and then use ↵
to automatically copy the highlighted glyph to the clipboard and immediately close the pop-up.
That way, the whole operation is a handful of key strokes, and the user does not need to use the mouse at all.
./build.sh
Then, find the resulting temporary extensions under dist/firefox/
and dist/chrome/
.
Copyright © 2019–2021 tripu (t@tripu.info
, https://tripu.info
)
This project is licenced under the terms of the MIT licence.
Logo: A-small glyphs.svg
licenced
CC0 by
Wickey-nl