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/settings.html | |
| parent | 167e83c14794437e43b7df2017efab1e7e060a99 (diff) | |
| parent | 938b69646820482a958cd8e0a65a03400ee6a7ac (diff) | |
Merge pull request #385 from toasted-nutbread/pitch-accents
Pitch accents
Diffstat (limited to 'ext/bg/settings.html')
| -rw-r--r-- | ext/bg/settings.html | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/ext/bg/settings.html b/ext/bg/settings.html index cfe20be4..0b2e4f9c 100644 --- a/ext/bg/settings.html +++ b/ext/bg/settings.html @@ -163,6 +163,18 @@ </div> <div class="checkbox options-advanced"> + <label><input type="checkbox" id="show-pitch-accent-downstep-notation"> Show downstep notation for pitch accents</label> + </div> + + <div class="checkbox options-position"> + <label><input type="checkbox" id="show-pitch-accent-position-notation"> Show position notation for pitch accents</label> + </div> + + <div class="checkbox options-advanced"> + <label><input type="checkbox" id="show-pitch-accent-graph"> Show graph for pitch accents</label> + </div> + + <div class="checkbox options-advanced"> <label><input type="checkbox" id="show-debug-info"> Show debug information</label> </div> |