[gnome-builder] Increase priority of Rust Completion Provider



commit c532869fc68c3f8bd2ad588ad944c877fd488ba2
Author: Ricardo Silva Veloso <ricvelozo gmail com>
Date:   Thu Aug 23 23:10:36 2018 -0300

    Increase priority of Rust Completion Provider

 src/plugins/rust-langserv/rust_langserv_plugin.py | 5 +++++
 1 file changed, 5 insertions(+)
---
diff --git a/src/plugins/rust-langserv/rust_langserv_plugin.py 
b/src/plugins/rust-langserv/rust_langserv_plugin.py
index 8060d4c28..eb9aa81bc 100644
--- a/src/plugins/rust-langserv/rust_langserv_plugin.py
+++ b/src/plugins/rust-langserv/rust_langserv_plugin.py
@@ -180,6 +180,11 @@ class RustCompletionProvider(Ide.LangservCompletionProvider):
     def do_load(self, context):
         RustService.bind_client(self)
 
+    def do_get_priority(self, context):
+        # This provider only activates when it is very likely that we
+        # want the results. So use high priority (negative is better).
+        return -1000
+
 class RustRenameProvider(Ide.LangservRenameProvider):
     def do_load(self):
         RustService.bind_client(self)


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