Browser extension for quick copy’n’paste of miscellaneous characters

(Psst! See the accompanying presentation about browser extension development! 👍)

Contents:

1. Installation
2. Usage
3. Development
4. Credits

(For now, only as a temporary extension)

Firefox:

1. Go to about:debugging#/runtime/this-firefox
2. Click on Load Temporary Add-on…
3. Select the manifest (dist/firefox/manifest.json)

Chrom*:

1. Go to chrome://extensions/
2. Click on Developer mode
3. Click on Load unpacked
4. Select the directory (dist/chrome/)

Bring up the glyphs pop-up by either:

• Clicking the icon on the toolbar,
  
• or pressing Alt+U (⌥+U on Mac)

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.

Prerequisites: Bash and jq.

./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