mirror of
https://github.com/davidhalter/jedi.git
synced 2025-12-08 06:44:46 +08:00
_cropped_file_size should be an int, fixes #1639
This commit is contained in:
@@ -98,7 +98,7 @@ parse the parts again that have changed, while reusing the rest of the syntax
|
|||||||
tree.
|
tree.
|
||||||
"""
|
"""
|
||||||
|
|
||||||
_cropped_file_size = 10e6 # 1 Megabyte
|
_cropped_file_size = int(10e6) # 1 Megabyte
|
||||||
"""
|
"""
|
||||||
Jedi gets extremely slow if the file size exceed a few thousand lines.
|
Jedi gets extremely slow if the file size exceed a few thousand lines.
|
||||||
To avoid getting stuck completely Jedi crops the file at some point.
|
To avoid getting stuck completely Jedi crops the file at some point.
|
||||||
|
|||||||
Reference in New Issue
Block a user