Installation

Install the plugin using the Plugin Manager and the download URL above, which points to latest version of the plugin. Refer to Plugins on how to install plugins manually.

Examples/Usage

Use this plugin to add characters to the Special Chars picker or to delete unused characters from the picker. Or to create a completely user-defined set of special characters.

This plugin is managed in the Configuration Manager and has three options:

chars: add characters to the character picker

del_chars: delete characters

del_all: delete all characters from the default picker except for those listed in the chars list (i.e. option 1 above).

Enter the characters in the add or delete box, as a comma delimited list. For instance: Ж,ж,♭,♞.

Additions are appended to the end of the Special Chars character list. You can enter both additions and deletions. The deletions will be processed first; then the additions will be appended.

The del_all option enables you to create a completely user-defined special character picker. The default special character set is entirely deleted and replaced by the characters listed for addition in the chars box.

Known Bugs and Issues

ToDo/Wish List

Currently this plugin is convenient primarily for relatively small numbers of insertions and deletions. It's possible that it could be expanded to handle larger blocks of insertions and deletions. If this might be something you need, make a note of it in the Discussion section of this page.

Discussion

I think a nice addition would be to have a “Clear all” checkbox in the configuration. In that way one could easily build a custom list from scratch. I'll put this as a request in Github, come to think of it.