From d89f469e12b070d7d62944db89021a0aa3887a88 Mon Sep 17 00:00:00 2001 From: Takafumi Arakaki Date: Sat, 29 Dec 2012 20:48:46 +0100 Subject: [PATCH] Add intro part in settings.py --- jedi/settings.py | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/jedi/settings.py b/jedi/settings.py index bee03669..d4c4716c 100644 --- a/jedi/settings.py +++ b/jedi/settings.py @@ -1,4 +1,13 @@ """ +Variables to hold global jedi setting. + +Plugin can change the variables defined in :mod:`jedi.settings` to +modify behavior of Jedi. Plugin should expose an interface to setup +these variables by user. Example usage:: + + from jedi import settings + settings.case_insensitive_completion = True + * Completion output settings - :data:`case_insensitive_completion`