[gnome-builder] Increase priority of Rust Completion Provider
- From: Christian Hergert <chergert src gnome org>
 
- To: commits-list gnome org
 
- Cc: 
 
- Subject: [gnome-builder] Increase priority of Rust Completion Provider
 
- Date: Fri, 24 Aug 2018 05:39:16 +0000 (UTC)
 
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]