Advanced lookup/dictionary editor tool/commented dictionary format

[user202729]

Some time ago, I wrote a plugin to help me memorize the chords for uncommon commands, or type some Unicode symbols without having a dedicated chords.

After a few iterations, the plugin can be used for various other purposes, such as...

• (Approximate) word lookup

• Commented dictionary format (like excel dictionary or hjson dictionary, but you can also edit the comment from Plover)

  In most cases, this will eliminate the need to maintain several separate dictionaries (unless you need to be able to toggle them).

• Dictionary editor.

• (original purpose) learn new dictionaries, such as...

  • Dictionary of symbols where you have to memorize each separately.

    (as long as you populate the description field with the Unicode name of the symbols and you can type their names)

    For now, there's a simple script to print dictionary entries from a list of (Unicode) characters and their Unicode name.

  • Dictionary of programming-language snippets. (there tend to be no rules to them)

  • Dictionary of commands to run. (you can make it a 1-stroke to launch Firefox for example)

  • Uncommon keys in single-stroke-commands (shortcut)

The performance of the lookup tool is not very good, but it can handle main.json (approximately 10^5 entries) in acceptable time.

To make it easier to add entries, it's recommended that you use some dictionary to type raw stroke. Fingerspelling the raw steno is time-consuming.

[user202729]

For instance, this dictionary can be used to learn the non-letters (see Lesson 8: Non-Letters - Learn Plover!)

Note that there's an error -- the stroke for % is P*ERS, not PERS.

Some of them are in commands.json instead of main.json.