[gnome-builder/wip/gtk4-port] plugins/jedi: remove unnecessary ignore



commit 4727323fa7365889d5456ba1b95ecaef55f88eeb
Author: Christian Hergert <chergert redhat com>
Date:   Tue May 24 13:55:05 2022 -0700

    plugins/jedi: remove unnecessary ignore
    
    This is only used by clangd.

 src/plugins/jedi-language-server/jedi-language-server-plugin.c | 2 --
 1 file changed, 2 deletions(-)
---
diff --git a/src/plugins/jedi-language-server/jedi-language-server-plugin.c 
b/src/plugins/jedi-language-server/jedi-language-server-plugin.c
index e47862c28..ab36abd5b 100644
--- a/src/plugins/jedi-language-server/jedi-language-server-plugin.c
+++ b/src/plugins/jedi-language-server/jedi-language-server-plugin.c
@@ -41,8 +41,6 @@
 _IDE_EXTERN void
 _gbp_jedi_register_types (PeasObjectModule *module)
 {
-  ide_g_file_add_ignored_pattern (".cache");
-
   peas_object_module_register_extension_type (module,
                                               IDE_TYPE_DIAGNOSTIC_PROVIDER,
                                               GBP_TYPE_JEDI_DIAGNOSTIC_PROVIDER);


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]