[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]