diff options
Diffstat (limited to 'editors/jucipp/files/patch-src_window.cpp')
| -rw-r--r-- | editors/jucipp/files/patch-src_window.cpp | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/editors/jucipp/files/patch-src_window.cpp b/editors/jucipp/files/patch-src_window.cpp deleted file mode 100644 index eed51beab9e4..000000000000 --- a/editors/jucipp/files/patch-src_window.cpp +++ /dev/null @@ -1,11 +0,0 @@ ---- src/window.cpp.orig 2023-08-03 07:43:31 UTC -+++ src/window.cpp -@@ -995,7 +995,7 @@ void Window::set_menu_actions() { - if(std::any_of(exclude_folders.begin(), exclude_folders.end(), [&filename](const std::string &exclude_folder) { - return filename == exclude_folder; - })) -- it.no_push(); -+ it.disable_recursion_pending(); - continue; - } - files.emplace_back(path); |