DokuWiki

It's better when it's simple

User Tools

Site Tools


plugin:charpicker

charpicker Plugin

Compatible with DokuWiki

  • 2017-02-19 "Frusterick Manners" yes
  • 2016-06-26 "Elenor Of Tsort" yes
  • 2015-08-10 "Detritus" yes
  • 2014-09-29 "Hrun" yes

plugin Modify character selection in the DokuWiki Special Chars picker

Last updated on
2016-10-16
Provides
Action
Repository
Source

Tagged with picker

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:

  1. chars: add characters to the character picker
  2. del_chars: delete characters
  3. 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.

Change Log

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.

Done. See option 3 above. — Myron TurnerMyron Turner
turnermm

2015-11-21 01:53
plugin/charpicker.txt · Last modified: 2017-08-03 04:44 by turnermm