diff options
Diffstat (limited to 'src/components')
| -rw-r--r-- | src/components/SettingsModal.vue | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/components/SettingsModal.vue b/src/components/SettingsModal.vue index 4af08c5..e9f76c8 100644 --- a/src/components/SettingsModal.vue +++ b/src/components/SettingsModal.vue @@ -122,6 +122,10 @@ export default defineComponent({ </div> <hr class="border-stone-400"/> <div> + <label> <input type="checkbox" v-model="uiOpts.jumpToSearchedNode"/> Jump to search result</label> + </div> + <hr class="border-stone-400"/> + <div> Tree <ul> <li> |