From 21ee6f400d700a288a5fd7053afe7d73293bfbec Mon Sep 17 00:00:00 2001 From: David Halter Date: Thu, 10 Jan 2013 09:33:15 +0100 Subject: [PATCH] improvement for pickling --- jedi/parsing.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/jedi/parsing.py b/jedi/parsing.py index 119dd046..6334a088 100644 --- a/jedi/parsing.py +++ b/jedi/parsing.py @@ -1187,6 +1187,9 @@ class NamePart(str): def end_pos(self): return self.start_pos[0], self.start_pos[1] + len(self) + def __getnewargs__(self): + return self.__class__, self.parent, self._start_pos + class Name(Simple): """