Move plugins.jedi.extra_paths handling into Document.sys_path()

Before this commit, plugins.jedi.extra_paths configuration is used
only at execution of jedi.Script in Document.jedi_script().

Therefore, at spawning a process for other plugins (e.g pylint), such
extra paths are ignored. It might causes unintentional failure of
finding out libraries installed into those locations, even though Jedi
can find out.

After this commit, just using Document.sys_path() instead of sys.path
is enough path configuration for any plugins.

Author: flying-foozy

pyls/workspace.py

@@ -230,15 +230,13 @@ def jedi_names(self, all_scopes=False, definitions=True, references=False):
         )
 
     def jedi_script(self, position=None):
-        extra_paths = []
         environment_path = None
 
         if self._config:
             jedi_settings = self._config.plugin_settings('jedi', document_path=self.path)
             environment_path = jedi_settings.get('environment')
-            extra_paths = jedi_settings.get('extra_paths') or []
 
-        sys_path = self.sys_path(environment_path) + extra_paths
+        sys_path = self.sys_path(environment_path)
         environment = self.get_enviroment(environment_path) if environment_path else None
 
         kwargs = {
@@ -272,4 +270,11 @@ def sys_path(self, environment_path=None):
         path = list(self._extra_sys_path)
         environment = self.get_enviroment(environment_path=environment_path)
         path.extend(environment.get_sys_path())
+
+        if self._config:
+            jedi_settings = self._config.plugin_settings('jedi', document_path=self.path)
+            extra_paths = jedi_settings.get('extra_paths')
+            if extra_paths:
+                path.extend(extra_paths)
+
         return path