mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-07 13:34:33 +08:00
Add GNOME Builder to list of supported editors
Support is provided out of the box as long as python3-jedi is installed. Additionally, Builder's implementation includes support for GObject Introspection (and therefore Gtk).
This commit is contained in:
1 parent
a307bc384c
commit
81e07b866f
2 files changed
+9
No files matched your search
@@ -55,6 +55,12 @@ SourceLair:
|
||||
|
||||
- SourceLair_
|
||||
|
||||
GNOME Builder:
|
||||
|
||||
- `GNOME Builder`_ `supports it natively
|
||||
<https://git.gnome.org/browse/gnome-builder/tree/plugins/jedi>`__,
|
||||
and is enabled by default.
|
||||
|
||||
|
||||
.. _other-software:
|
||||
|
||||
@@ -96,3 +102,4 @@ Using a custom ``$HOME/.pythonrc.py``
|
||||
.. _kate: http://kate-editor.org/
|
||||
.. _autocomplete-python: https://atom.io/packages/autocomplete-python
|
||||
.. _SourceLair: https://www.sourcelair.com
|
||||
.. _GNOME Builder: https://wiki.gnome.org/Apps/Builder/
|
||||
Reference in new issue
Block a user