diff options
Diffstat (limited to 'ext/bg/settings.html')
| -rw-r--r-- | ext/bg/settings.html | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/ext/bg/settings.html b/ext/bg/settings.html index cc140023..85b7ee5f 100644 --- a/ext/bg/settings.html +++ b/ext/bg/settings.html @@ -193,6 +193,14 @@ </div> <div class="checkbox options-advanced"> + <label><input type="checkbox" id="enable-scanning-of-popup-expressions"> Enable scanning of popup expressions</label> + </div> + + <div class="checkbox"> + <label><input type="checkbox" id="enable-scanning-on-search-page"> Enable scanning on search page</label> + </div> + + <div class="checkbox options-advanced"> <label><input type="checkbox" id="deep-dom-scan"> Deep DOM scan</label> </div> @@ -215,6 +223,11 @@ <option value="shift">Shift</option> </select> </div> + + <div class="form-group options-advanced"> + <label for="popup-nesting-max-depth">Maximum nested popup depth</label> + <input type="number" min="0" id="popup-nesting-max-depth" class="form-control"> + </div> </div> <div> |