mirror of
https://github.com/davidhalter/jedi.git
synced 2025-12-21 13:01:14 +08:00
Add intro part in settings.py
This commit is contained in:
committed by
Danilo Bargen
parent
51b22e0cb5
commit
d89f469e12
@@ -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
|
* Completion output settings
|
||||||
|
|
||||||
- :data:`case_insensitive_completion`
|
- :data:`case_insensitive_completion`
|
||||||
|
|||||||
Reference in New Issue
Block a user