From fa8111c3881a0e37ef203f2e0ceb9b85748bb27d Mon Sep 17 00:00:00 2001
From: Terry Truong <terry06890@gmail.com>
Date: Tue, 24 May 2022 17:37:34 +1000
Subject: Add jump-to-searched-node setting

---
 src/components/SettingsModal.vue | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/components/SettingsModal.vue')

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
@@ -121,6 +121,10 @@ export default defineComponent({
 				v-model.number="uiOpts.tileChgDuration"/></label>
 		</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>
-- 
cgit v1.2.3