diff options
| author | Alex Yatskov <FooSoft@users.noreply.github.com> | 2019-03-07 11:31:06 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-07 11:31:06 -0800 |
| commit | c7f8d0874a758924802179a44757153bbf18bf7f (patch) | |
| tree | 3191c8015cc23667c4089cd551ec521183b61ac8 /ext/bg/settings.html | |
| parent | 27fb9643e471dbd1c0e6a19023a449bf7688bd71 (diff) | |
| parent | 0b8ae6c53a4b5b358a0af0617ccada019630d683 (diff) | |
Merge pull request #157 from toasted-nutbread/touch-input
Add support for touch input
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 c77f550c..7f18a358 100644 --- a/ext/bg/settings.html +++ b/ext/bg/settings.html @@ -74,6 +74,14 @@ </select> </div> + <div class="form-group"> + <label for="popup-display-mode">Popup display mode</label> + <select class="form-control" id="popup-display-mode"> + <option value="default">Default</option> + <option value="full-width">Full width</option> + </select> + </div> + <div class="form-group options-advanced"> <label for="audio-playback-volume">Audio playback volume (percent)</label> <input type="number" min="0" max="100" id="audio-playback-volume" class="form-control"> @@ -106,6 +114,10 @@ </div> <div class="checkbox"> + <label><input type="checkbox" id="touch-input-enabled"> Touch input enabled</label> + </div> + + <div class="checkbox"> <label><input type="checkbox" id="select-matched-text"> Select matched text</label> </div> |