phts / firefox-special-characters

WebExtension for 🦊. List of useful Unicode characters
https://addons.mozilla.org/en-US/firefox/addon/unicode-characters/
Mozilla Public License 2.0
1 stars 1 forks source link

Accessing an arbitrary unicode character might come handy some times. #6

Open mzso opened 5 years ago

mzso commented 5 years ago

I think having the whole unicode character set would be useful if you can't find that nasty character you need. Of course it would be a long list so switching to it might make sense from the more common special characters.

I think for this to be practical it definitely needs a filter option so that the list can be filtered by the description of characters.

Actually this last one would be useful for the addon as it is now, to quickly find the desired character.

phts commented 5 years ago

@mzso Actually the idea of this plugin was just to have a simple html list with minimum logic, due to lack of time for implementing something complex.

But I will see what could be done here.

mzso commented 5 years ago

@phts commented on 2019. máj. 22. 18:48 CEST:

@mzso Actually the idea of this plugin was just to have a simple html list with minimum logic, due to lack of time for implementing something complex.

But I will see what could be done here.

I see. Well, I don't know how much effort would be to implement a filter. But I was expecting the table itself can be mostly copy pasted from some reference document.

R101G commented 3 years ago

Having the option to add character lists would be a very useful feature.