From b5e9663b5d19befb7e1c5effb8db38e4745a7e5f Mon Sep 17 00:00:00 2001
From: Andrea Alberti <a.alberti82@gmail.com>
Date: Sun, 20 Oct 2024 15:37:25 +0200
Subject: [PATCH] Detect changes to data.json which can be caused by the
 synchronization engine or an external editor and update the setting pane
 automatically.

---
 src/main.ts | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/main.ts b/src/main.ts
index 5f4a030..ba627a7 100644
--- a/src/main.ts
+++ b/src/main.ts
@@ -338,6 +338,10 @@ export default class PluginsAnnotations extends Plugin {
 
         // Update the community plugin pane if this is currently open
         this.updateCommunityPluginPaneIfOpened([loadSettingsPromise]);
+
+        // Update the preference pane if this is currently open
+        const activeTab = this.app.setting.activeTab;
+        if(activeTab && activeTab instanceof PluginsAnnotationsSettingTab) activeTab.display();        
     }
 
     // Store the path to the vault