From 67ea9ab9f3a6b1f293da2ad13f03daa1e5cbde47 Mon Sep 17 00:00:00 2001 From: Dave Halter Date: Sun, 3 Jul 2016 16:22:23 +0200 Subject: [PATCH] Add Eric IDE to the list of supported plugins. --- README.rst | 2 ++ docs/docs/usage.rst | 5 ++++- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/README.rst b/README.rst index 6e0f4b00..1adf138f 100644 --- a/README.rst +++ b/README.rst @@ -44,6 +44,7 @@ Jedi can currently be used with the following editors/projects: - `Visual Studio Code`_ (via `Python Extension `_) - Gedit (gedi_) - wdb_ - Web Debugger +- `Eric IDE`_ (Available as a plugin) and many more! @@ -206,3 +207,4 @@ Acknowledgements .. _GNOME Builder: https://wiki.gnome.org/Apps/Builder .. _Visual Studio Code: https://code.visualstudio.com/ .. _gedi: https://github.com/isamert/gedi +.. _Eric IDE: http://eric-ide.python-projects.org diff --git a/docs/docs/usage.rst b/docs/docs/usage.rst index 40d75dcf..015c3e2a 100644 --- a/docs/docs/usage.rst +++ b/docs/docs/usage.rst @@ -66,7 +66,9 @@ Gedit: - gedi_ -.. _other-software: +Eric IDE: + +- `Eric IDE`_ (Available as a plugin) Web Debugger: @@ -109,3 +111,4 @@ Using a custom ``$HOME/.pythonrc.py`` .. _SourceLair: https://www.sourcelair.com .. _GNOME Builder: https://wiki.gnome.org/Apps/Builder/ .. _gedi: https://github.com/isamert/gedi +.. _Eric IDE: http://eric-ide.python-projects.org