Detect changes to data.json which can be caused by the synchronization engine or an external editor and update the setting pane automatically.

This commit is contained in:
Andrea Alberti 2024-10-20 15:37:25 +02:00
parent 62c403a316
commit b5e9663b5d

View file

@ -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