From 53ca0217dd81862675e6cde526acf6fe7e94c424 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C4=B0sa=20Mert=20G=C3=BCrb=C3=BCz?= Date: Fri, 15 Apr 2016 14:34:24 +0300 Subject: [PATCH] Add gedit to supported editors list --- docs/docs/usage.rst | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/docs/docs/usage.rst b/docs/docs/usage.rst index 0bc0a97a..48a692c7 100644 --- a/docs/docs/usage.rst +++ b/docs/docs/usage.rst @@ -61,6 +61,9 @@ GNOME Builder: `__, and is enabled by default. +Gedit: + +- gedi_ .. _other-software: @@ -103,3 +106,4 @@ Using a custom ``$HOME/.pythonrc.py`` .. _autocomplete-python: https://atom.io/packages/autocomplete-python .. _SourceLair: https://www.sourcelair.com .. _GNOME Builder: https://wiki.gnome.org/Apps/Builder/ +.. _gedi: https://github.com/isamert/gedi