Last updated:
0 purchases
ploverhjsondictionary 0.0.2
Hjson dictionary support for
Plover.
Installation
Download the latest version of Plover for your operating system from the
releases page.
Only versions 4.0.0.dev1 and higher are supported.
Open Plover
Navigate to the Plugin Manager tool
Select the “plover-hjson-dictionary” plugin entry in the list
Click install
Restart Plover
The same method can be used for updating and uninstalling the plugin.
Dictionary Format
The Hjson dictionary format used by this plugin maps translations to
strokes rather than strokes to translations which differs from the
default JSON dictionary format used by Plover. For a basic comparison,
JSON:
{
"PHRO*EFR": "Plover",
"PHRO*FR": "plover",
"PHROFR": "Plover",
}
Hjson:
{
Plover: # A cool open source project
[
PHRO*EFR
PHROFR
]
plover: # A bird
[
PHRO*FR
]
}
Comments added within the Hjson dictionary file are currently not
preserved on dictionary modification due to round-trip limitations of
the Hjson package for Python.
Converting JSON dictionaries to Hjson
You can use the following script to take an input JSON dictionary file
path and output Hjson dictionary file path to convert existing Plover
JSON dictionaries to the Hjson format used by this plugin.
import json
import hjson
JSON_FILENAME = r''
HJSON_FILENAME = r''
# Load JSON dictionary
with open(JSON_FILENAME, 'r', encoding='utf-8') as in_file:
in_data = json.load(in_file)
# Group dictionary by value, sorted alphabetically
out_data = {}
for key, value in sorted(in_data.items(), key=lambda x: x[1].casefold()):
out_data.setdefault(value, []).append(key)
out_data[value] = sorted(out_data[value])
# Write dictionary to Hjson
with open(HJSON_FILENAME, 'w', encoding='utf-8') as out_file:
hjson.dump(out_data, out_file,
sort_keys=True, ensure_ascii=False, encoding='utf-8')
For personal and professional use. You cannot resell or redistribute these repositories in their original state.
There are no reviews.