From 0f5ea3de5f045b8d288d849026f6313c034844c5 Mon Sep 17 00:00:00 2001 From: Dave Halter Date: Fri, 16 Dec 2022 15:36:31 +0100 Subject: [PATCH] Revert "Removed all usages of Eric IDE, because apparently it's not using Jedi anymore" This reverts commit e47bbbb8513adb7766623a363ad223c76cacd701. --- README.rst | 2 ++ docs/docs/usage.rst | 5 +++++ 2 files changed, 7 insertions(+) diff --git a/README.rst b/README.rst index 7eda97cb..7d0d7106 100644 --- a/README.rst +++ b/README.rst @@ -42,6 +42,7 @@ Jedi can currently be used with the following editors/projects: - `GNOME Builder`_ (with support for GObject Introspection) - Gedit (gedi_) - wdb_ - Web Debugger +- `Eric IDE`_ (Available as a plugin) - `IPython 6.0.0+ `_ - `xonsh shell `_ has `jedi extension `_ @@ -212,3 +213,4 @@ Thanks a lot to all the .. _GNOME Builder: https://wiki.gnome.org/Apps/Builder .. _Visual Studio Code: https://code.visualstudio.com/ .. _gedi: https://github.com/isamert/gedi +.. _Eric IDE: https://eric-ide.python-projects.org diff --git a/docs/docs/usage.rst b/docs/docs/usage.rst index 7ab70e46..2ef8b848 100644 --- a/docs/docs/usage.rst +++ b/docs/docs/usage.rst @@ -83,6 +83,11 @@ Gedit - gedi_ +Eric IDE +~~~~~~~~ + +- `Eric IDE`_ (Available as a plugin) + Web Debugger ~~~~~~~~~~~~