Allow docs browser thread to quit early

plugdata-team · Dec 18, 2023 · 4409f15 · 4409f15
1 parent 10a60f8
commit 4409f15
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/Source/Sidebar/DocumentationBrowser.h b/Source/Sidebar/DocumentationBrowser.h
@@ -242,10 +242,11 @@ class DocumentationBrowser : public Component, public FileDragAndDropTarget, pri
  static File versionDataDir = ProjectInfo::appDataDir.getChildFile("Versions");
  static File toolchainDir = ProjectInfo::appDataDir.getChildFile("Toolchain");
 
- if (!directory.exists() || !directory.isDirectory() || directory == versionDataDir || directory == toolchainDir) {
- return ValueTree();
+ if (threadShouldExit() || !directory.exists() || !directory.isDirectory() || directory == versionDataDir || directory == toolchainDir)
+ {
+ return ValueTree();
  }
-
+  
  ValueTree rootNode("Folder");
  rootNode.setProperty("Name", directory.getFileName(), nullptr);
  rootNode.setProperty("Path", directory.getFullPathName(), nullptr);