mirror of
https://github.com/davidhalter/jedi.git
synced 2025-12-06 14:04:26 +08:00
Add Eric IDE to the list of supported plugins.
This commit is contained in:
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user