diff options
| author | Terry Truong <terry06890@gmail.com> | 2022-05-24 17:37:34 +1000 |
|---|---|---|
| committer | Terry Truong <terry06890@gmail.com> | 2022-05-24 17:37:34 +1000 |
| commit | fa8111c3881a0e37ef203f2e0ceb9b85748bb27d (patch) | |
| tree | 5c5b6571cc99861e270caba24cb901cb75db0743 /src/components | |
| parent | c5101c0e34ba8db5aeb009f3a17c82fdaeb869ae (diff) | |
Add jump-to-searched-node setting
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> |