mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-23 04:17:05 +08:00
Add gedit to supported editors list
This commit is contained in:
1 parent
07c7a69306
commit
53ca0217dd
1 file changed
+4
@@ -61,6 +61,9 @@ GNOME Builder:
|
|||||||
<https://git.gnome.org/browse/gnome-builder/tree/plugins/jedi>`__,
|
<https://git.gnome.org/browse/gnome-builder/tree/plugins/jedi>`__,
|
||||||
and is enabled by default.
|
and is enabled by default.
|
||||||
|
|
||||||
|
Gedit:
|
||||||
|
|
||||||
|
- gedi_
|
||||||
|
|
||||||
.. _other-software:
|
.. _other-software:
|
||||||
|
|
||||||
@@ -103,3 +106,4 @@ Using a custom ``$HOME/.pythonrc.py``
|
|||||||
.. _autocomplete-python: https://atom.io/packages/autocomplete-python
|
.. _autocomplete-python: https://atom.io/packages/autocomplete-python
|
||||||
.. _SourceLair: https://www.sourcelair.com
|
.. _SourceLair: https://www.sourcelair.com
|
||||||
.. _GNOME Builder: https://wiki.gnome.org/Apps/Builder/
|
.. _GNOME Builder: https://wiki.gnome.org/Apps/Builder/
|
||||||
|
.. _gedi: https://github.com/isamert/gedi
|
||||||
Reference in new issue
Block a user