mirror of
https://github.com/davidhalter/jedi.git
synced 2026-05-19 23:09:43 +08:00
Merge pull request #719 from isamert/master
Add gedit to supported editors list
This commit is contained in:
@@ -43,6 +43,7 @@ Jedi can currently be used with the following editors:
|
|||||||
- SourceLair_
|
- SourceLair_
|
||||||
- `GNOME Builder`_ (with support for GObject Introspection)
|
- `GNOME Builder`_ (with support for GObject Introspection)
|
||||||
- `Visual Studio Code`_ (via `Python Extension <https://marketplace.visualstudio.com/items?itemName=donjayamanne.python>`_)
|
- `Visual Studio Code`_ (via `Python Extension <https://marketplace.visualstudio.com/items?itemName=donjayamanne.python>`_)
|
||||||
|
- Gedit (gedi_)
|
||||||
|
|
||||||
And it powers the following projects:
|
And it powers the following projects:
|
||||||
|
|
||||||
@@ -195,3 +196,4 @@ For more detailed information visit the `testing documentation
|
|||||||
.. _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
|
||||||
.. _Visual Studio Code: https://code.visualstudio.com/
|
.. _Visual Studio Code: https://code.visualstudio.com/
|
||||||
|
.. _gedi: https://github.com/isamert/gedi
|
||||||
|
|||||||
@@ -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