Name | Date | Size | #Lines | LOC | ||
---|---|---|---|---|---|---|
.. | Today | - | ||||
conf/ | H | 07-Sep-2022 | - | 11 | 8 | |
lang/ | H | 07-Sep-2022 | - | 81 | 29 | |
README.md | H A D | 06-Sep-2022 | 405 | 12 | 7 | |
action.php | H A D | 06-Sep-2022 | 2 KiB | 58 | 38 | |
plugin.info.txt | H A D | 06-Sep-2022 | 191 | 8 | 7 | |
version | H A D | 06-Sep-2022 | 24 | 3 | 1 |
README.md
1charpicker 2========== 3 4Modify character selection in the Dokuwiki Secial Chars picker 5 6Use this plugin to add characters to the Special Chars picker or to delete unused characters from the picker. 7Enter the characters in the configuration manager, in either the add or delete box, as a comma delimited list. 8For instance: Ж,ж,♭,♞. 9 10More information at: https://www.dokuwiki.org/plugin:charpicker 11 12