[gnome-builder: 3/7] jedi: add warning about failure to locate jedi
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder: 3/7] jedi: add warning about failure to locate jedi
- Date: Mon, 24 Aug 2015 23:41:28 +0000 (UTC)
commit 689a1d1e21b418cc42d5649e6d9079e8a12e4626
Author: Christian Hergert <christian hergert me>
Date: Mon Aug 24 15:20:46 2015 -0700
jedi: add warning about failure to locate jedi
Otherwise this is all silent and pretty hard to determine that was the
issue.
plugins/jedi/jedi_plugin.py | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/plugins/jedi/jedi_plugin.py b/plugins/jedi/jedi_plugin.py
index 9bf9785..621f9c5 100644
--- a/plugins/jedi/jedi_plugin.py
+++ b/plugins/jedi/jedi_plugin.py
@@ -70,6 +70,7 @@ try:
jedi.evaluate.imports.Importer = PatchedJediImporter
HAS_JEDI = True
except ImportError:
+ print("jedi not found, python auto-completion not possible.")
HAS_JEDI = False
# FIXME: Should we be using multiprocessing or something?
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]