diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-04-05 12:51:27 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-05 12:51:27 -0400 |
commit | f439d12718247411ccd0575af0d1de82aa22564a (patch) | |
tree | 2989cc53af496a9d9b84134d7fd761300a8ddee4 /ext/bg/data/options-schema.json | |
parent | 167e83c14794437e43b7df2017efab1e7e060a99 (diff) | |
parent | 938b69646820482a958cd8e0a65a03400ee6a7ac (diff) |
Merge pull request #385 from toasted-nutbread/pitch-accents
Pitch accents
Diffstat (limited to 'ext/bg/data/options-schema.json')
-rw-r--r-- | ext/bg/data/options-schema.json | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/ext/bg/data/options-schema.json b/ext/bg/data/options-schema.json index d6207952..cb759b72 100644 --- a/ext/bg/data/options-schema.json +++ b/ext/bg/data/options-schema.json @@ -105,7 +105,10 @@ "customPopupCss", "customPopupOuterCss", "enableWanakana", - "enableClipboardMonitor" + "enableClipboardMonitor", + "showPitchAccentDownstepNotation", + "showPitchAccentPositionNotation", + "showPitchAccentGraph" ], "properties": { "enable": { @@ -227,6 +230,18 @@ "enableClipboardMonitor": { "type": "boolean", "default": false + }, + "showPitchAccentDownstepNotation": { + "type": "boolean", + "default": true + }, + "showPitchAccentPositionNotation": { + "type": "boolean", + "default": true + }, + "showPitchAccentGraph": { + "type": "boolean", + "default": false } } }, |