4 ms·
Yes, listing alternatives is a really good thing. Another alternative (not from me, just an user): https://github.com/NoraCodes/charpicker https://github.com
by yaantc 7y ago
Yes, listing alternatives is a really good thing. Another alternative (not from me, just an user):
https://github.com/NoraCodes/charpicker https://github.com/NoraCodes/charpicker
It's just shell and rofi, and from an IDE can easily be hooked to a key combination. As it's shell, it's also easy to tweak if needed.
For those using X11, I found that xdotool used by charpicker has some limitation. From the xdotool man page: "Typing unusual symbols under non-us keybindings is known to occasionally send the wrong character.", and I've seen it happens with unicode characters. Instead, one can paste to the X11 clipboard:
echo -n "$selected_symbol" | xclip -i
And then fake a middle click to insert in the current application:
xdotool click 2
It's still using xdotool but just to send a click not process the inserted character. That's never failed for me so far.